Files
linux/arch/arm/plat-versatile/timer-sp.c