softlockup_tick(regs); 
void do_timer(struct pt_regs *regs){	jiffies_64++;	update_times();}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/8446f1d391f3d27e6bf9c43d4cbcdac0ca720417/timer.c/buggy/kernel/timer.c