original_kernel/arch/arm/mach-vexpress/include/mach
..
clkdev.h
ct-ca9x4.h
debug-macro.S
gpio.h
hardware.h
irqs.h
motherboard.h
timex.h
uncompress.h