hangcheck_tsc_margin = hangcheck_margin + hangcheck_tick; hangcheck_tsc_margin *= 1000000000;
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;}