sched_clk_base     19 drivers/clocksource/timer-integrator-ap.c static void __iomem * sched_clk_base;
sched_clk_base     23 drivers/clocksource/timer-integrator-ap.c 	return -readl(sched_clk_base + TIMER_VALUE);
sched_clk_base     46 drivers/clocksource/timer-integrator-ap.c 	sched_clk_base = base;