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

#include <xen/arm/hypervisor.h>