tag	line	file	source code
wdt_ctr_load	119	drivers/char/wdt.c	wdt_ctr_load(1,WD_TIMO);    /* Timeout */
wdt_ctr_load	173	drivers/char/wdt.c	wdt_ctr_load(0, 8948);    /* count at 100Hz */
wdt_ctr_load	174	drivers/char/wdt.c	wdt_ctr_load(1,WD_TIMO);  /* Timeout 120 seconds */
wdt_ctr_load	175	drivers/char/wdt.c	wdt_ctr_load(2,65535);
wdt_ctr_load	192	drivers/char/wdt.c	wdt_ctr_load(2,0);  /* 0 length reset pulses now */