wd_init           264 drivers/watchdog/sb_wdog.c 	unsigned long wd_init;
wd_init           269 drivers/watchdog/sb_wdog.c 	wd_init = __raw_readq(wd_cfg_reg - 8) & 0x7fffff;
wd_init           278 drivers/watchdog/sb_wdog.c 			wd_init / 1000000, (wd_init / 100000) % 10);