WDTIM_PULSE        99 drivers/watchdog/pnx4008_wdt.c 	writel(0xFFFF, WDTIM_PULSE(wdt_base));
WDTIM_PULSE       150 drivers/watchdog/pnx4008_wdt.c 		writel(13000, WDTIM_PULSE(wdt_base));