printk("Hangcheck: Stopped hangcheck timer.\n"); 
static void __exit hangcheck_exit(void){	del_timer_sync(&hangcheck_ticktock);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/696f9486d0207d499391004f5bc9bd7c0e6ae82f/hangcheck-timer.c/buggy/drivers/char/hangcheck-timer.c