1b2441318SGreg Kroah-Hartman /* SPDX-License-Identifier: GPL-2.0 */ 24c071ee5SStefano Stabellini #ifndef _ASM_ARM_HYPERVISOR_H 34c071ee5SStefano Stabellini #define _ASM_ARM_HYPERVISOR_H 44c071ee5SStefano Stabellini 54c071ee5SStefano Stabellini #include <asm/xen/hypervisor.h> 64c071ee5SStefano Stabellini 76e085e0aSWill Deacon void kvm_init_hyp_services(void); 86e085e0aSWill Deacon bool kvm_arm_hyp_service_available(u32 func_id); 96e085e0aSWill Deacon kvm_arch_init_hyp_services(void)10*0ba5b4baSMarc Zyngierstatic inline void kvm_arch_init_hyp_services(void) { }; 11*0ba5b4baSMarc Zyngier 124c071ee5SStefano Stabellini #endif 13