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;