1 #include <xen/arm/hypercall.h>
2