update_process_times(CHOOSE_MODE(user_context(UPT_SP(regs)), (regs)->skas.is_user)); 
irq_enter(); update_process_times(CHOOSE_MODE(user_context(UPT_SP(regs)), (regs)->skas.is_user)); irq_exit(); 
void timer_handler(int sig, union uml_pt_regs *regs){	local_irq_disable();	update_process_times(CHOOSE_MODE(user_context(UPT_SP(regs)), (regs)->skas.is_user));	local_irq_enable();	if(current_thread->cpu == 0)		timer_irq(regs);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/7e1f49da6881bbf938e502d99335ad5488eb93b4/time_kern.c/buggy/arch/um/kernel/time_kern.c