Searched refs:IXP4XX_OSWK (Results 1 – 3 of 3) sorted by relevance
42 *IXP4XX_OSWK = IXP4XX_WDT_KEY; in wdt_enable()46 *IXP4XX_OSWK = 0; in wdt_enable()53 *IXP4XX_OSWK = IXP4XX_WDT_KEY; in wdt_disable()55 *IXP4XX_OSWK = 0; in wdt_disable()
36 *IXP4XX_OSWK = IXP4XX_WDT_KEY; in arch_reset()
273 #define IXP4XX_OSWK IXP4XX_TIMER_REG(IXP4XX_OSWK_OFFSET) macro