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));