root/arch/arm/include/asm/xen/hypervisor.h
#include <xen/arm/hypervisor.h>