Searched refs:IXP4XX_OSWK (Results 1 – 3 of 3) sorted by relevance
45 *IXP4XX_OSWK = IXP4XX_WDT_KEY; in wdt_enable()49 *IXP4XX_OSWK = 0; in wdt_enable()56 *IXP4XX_OSWK = IXP4XX_WDT_KEY; in wdt_disable()58 *IXP4XX_OSWK = 0; in wdt_disable()
274 *IXP4XX_OSWK = IXP4XX_WDT_KEY; in ixp4xx_restart()
167 #define IXP4XX_OSWK IXP4XX_TIMER_REG(IXP4XX_OSWK_OFFSET) macro