versatile_sys_24mhz   14 drivers/clocksource/timer-versatile.c static void __iomem *versatile_sys_24mhz;
versatile_sys_24mhz   18 drivers/clocksource/timer-versatile.c 	return readl(versatile_sys_24mhz);
versatile_sys_24mhz   28 drivers/clocksource/timer-versatile.c 	versatile_sys_24mhz = base + SYS_24MHZ;