--- kernel/timer.c | 3 +++ 1 file changed, 3 insertions(+) Index: linux-2.6.23-rc1/kernel/timer.c =================================================================== --- linux-2.6.23-rc1.orig/kernel/timer.c 2007-07-26 21:55:54.000000000 -0700 +++ linux-2.6.23-rc1/kernel/timer.c 2007-07-26 22:43:50.000000000 -0700 @@ -36,6 +36,7 @@ #include #include #include +#include #include #include @@ -824,6 +825,7 @@ void update_process_times(int user_tick) { struct task_struct *p = current; int cpu = smp_processor_id(); + INIT_PC(pc); /* Note: this timer irq context must be accounted for as well. */ if (user_tick) @@ -835,6 +837,7 @@ void update_process_times(int user_tick) rcu_check_callbacks(cpu, user_tick); scheduler_tick(); run_posix_cpu_timers(p); + pc_stop(&pc, PC_UPDATE_PROCESS_TIMES); } /*