IXP4XX_OSWT       277 arch/arm/mach-ixp4xx/common.c 		*IXP4XX_OSWT = 0;
IXP4XX_OSWT        47 drivers/watchdog/ixp4xx_wdt.c 	*IXP4XX_OSWT = WDT_TICK_RATE * heartbeat;