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);	}}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/caf2857ac6e0ba2651e722f05d5f7d3ec8ef2615/posix-timers.c/clean/kernel/posix-timers.c