original_kernel/include/xen/arm
..
hypercall.h
hypervisor.h
interface.h
page-coherent.h
page.h