SYS_24MHZ          12 drivers/clocksource/timer-versatile.c #define SYS_24MHZ 0x05c
SYS_24MHZ          31 drivers/mfd/vexpress-sysreg.c #define SYS_24MHZ		0x05c