/arch/arm/include/asm/xen/
../
hypercall.h
system.h