Searched refs:IXP4XX_WDT_KEY (Results 1 – 3 of 3) sorted by relevance
44 *IXP4XX_OSWK = IXP4XX_WDT_KEY; in wdt_enable()55 *IXP4XX_OSWK = IXP4XX_WDT_KEY; in wdt_disable()
558 *IXP4XX_OSWK = IXP4XX_WDT_KEY; in ixp4xx_restart()
290 #define IXP4XX_WDT_KEY 0x0000482E macro