original_kernel/arch/arm/plat-versatile/include/plat
..
clcd.h
clock.h
fpga-irq.h
sched_clock.h