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;