del_timer_sync(&sig->real_timer); 
void exit_itimers(struct signal_struct *sig){	struct k_itimer *tmr;	while (!list_empty(&sig->posix_timers)) {		tmr = list_entry(sig->posix_timers.next, struct k_itimer, list);		itimer_delete(tmr);	}	del_timer_sync(&sig->real_timer);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/c306895167c8384b88bc02945a0d226a04218fa5/posix-timers.c/buggy/kernel/posix-timers.c