IXP4XX_OSST        80 drivers/input/misc/ixp4xx-beeper.c 	*IXP4XX_OSST = IXP4XX_OSST_TIMER_2_PEND;
IXP4XX_OSST       193 drivers/watchdog/ixp4xx_wdt.c 	boot_status = (*IXP4XX_OSST & IXP4XX_OSST_TIMER_WARM_RESET) ?