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

#include <xen/arm/hypercall.h>