IXP4XX_OSTS_OFFSET
__raw_writel(0, tmr->base + IXP4XX_OSTS_OFFSET);
return __raw_readl(local_ixp4xx_timer->base + IXP4XX_OSTS_OFFSET);