Searched refs:IXP4XX_OSWK (Results 1 – 3 of 3) sorted by relevance
44 *IXP4XX_OSWK = IXP4XX_WDT_KEY; in wdt_enable()48 *IXP4XX_OSWK = 0; in wdt_enable()55 *IXP4XX_OSWK = IXP4XX_WDT_KEY; in wdt_disable()57 *IXP4XX_OSWK = 0; in wdt_disable()
593 *IXP4XX_OSWK = IXP4XX_WDT_KEY; in ixp4xx_restart()
265 #define IXP4XX_OSWK IXP4XX_TIMER_REG(IXP4XX_OSWK_OFFSET) macro