restore_flags(flags); 
local_irq_restore(flags); 
int del_fast_timer(struct fast_timer * t){  unsigned long flags;  int ret;    save_flags(flags);  cli();  ret = detach_fast_timer(t);  t->next = t->prev = NULL;  restore_flags(flags);  return ret;} /* del_fast_timer */
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/7e9204265b4ec6680fad9abc7a78b94087983916/fasttimer.c/clean/arch/cris/arch-v10/kernel/fasttimer.c