local_ixp4xx_timer 70 drivers/clocksource/timer-ixp4xx.c static struct ixp4xx_timer *local_ixp4xx_timer; local_ixp4xx_timer 80 drivers/clocksource/timer-ixp4xx.c return __raw_readl(local_ixp4xx_timer->base + IXP4XX_OSTS_OFFSET); local_ixp4xx_timer 196 drivers/clocksource/timer-ixp4xx.c local_ixp4xx_timer = tmr;