 hangcheck_tsc_margin = hangcheck_margin + hangcheck_tick; hangcheck_tsc_margin *= 1000000000;  
#if defined (HAVE_MONOTONIC) printk("Hangcheck: Using monotonic_clock().\n"); #elif defined(__s390__) printk("Hangcheck: Using TOD.\n"); #else printk("Hangcheck: Using get_cycles().\n"); #endif  /* HAVE_MONOTONIC */ hangcheck_tsc_margin = (unsigned long long)(hangcheck_margin + hangcheck_tick); hangcheck_tsc_margin *= (unsigned long long)TIMER_FREQ; 
static int __init hangcheck_init(void){	printk("Hangcheck: starting hangcheck timer %s (tick is %d seconds, margin is %d seconds).\n",	       VERSION_STR, hangcheck_tick, hangcheck_margin);	hangcheck_tsc_margin = hangcheck_margin + hangcheck_tick;	hangcheck_tsc_margin *= 1000000000;	hangcheck_tsc = monotonic_clock();	mod_timer(&hangcheck_ticktock, jiffies + (hangcheck_tick*HZ));	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/696f9486d0207d499391004f5bc9bd7c0e6ae82f/hangcheck-timer.c/buggy/drivers/char/hangcheck-timer.c