Searched refs:IXP4XX_OSWT (Results 1 – 3 of 3) sorted by relevance
39 *IXP4XX_OSWT = 0; in arch_reset()
271 #define IXP4XX_OSWT IXP4XX_TIMER_REG(IXP4XX_OSWT_OFFSET) macro
44 *IXP4XX_OSWT = WDT_TICK_RATE * heartbeat; in wdt_enable()