--- zzzz-none-000/linux-2.6.19.2/arch/m68knommu/kernel/time.c 2007-01-10 19:10:37.000000000 +0000 +++ davinci-8020-5505/linux-2.6.19.2/arch/m68knommu/kernel/time.c 2007-01-11 07:38:19.000000000 +0000 @@ -54,7 +54,7 @@ update_process_times(user_mode(regs)); #endif if (current->pid) - profile_tick(CPU_PROFILING); + profile_tick(CPU_PROFILING, regs); /* * If we have an externally synchronized Linux clock, then update