1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef _ASM_ARM64_HYPERVISOR_H
3 #define _ASM_ARM64_HYPERVISOR_H
5 #include <asm/xen/hypervisor.h>
7 void kvm_init_hyp_services(void);
8 bool kvm_arm_hyp_service_available(u32 func_id
);
10 #ifdef CONFIG_ARM_PKVM_GUEST
11 void pkvm_init_hyp_services(void);
13 static inline void pkvm_init_hyp_services(void) { };
16 static inline void kvm_arch_init_hyp_services(void)
18 pkvm_init_hyp_services();