acrn-kernel/arch/arm/mach-versatile/include/mach
..
clkdev.h
hardware.h
irqs.h
platform.h
uncompress.h