original_kernel/arch/arm/mach-vexpress/include
..
mach ARM: 6218/1: Versatile Express: add support for local timers on CA9X4 daughterboard 2010-07-09 14:21:51 +01:00