1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef _ASM_ARM64_HYPERVISOR_H
3 #define _ASM_ARM64_HYPERVISOR_H
4 
5 #include <asm/xen/hypervisor.h>
6 
7 void kvm_init_hyp_services(void);
8 bool kvm_arm_hyp_service_available(u32 func_id);
9 void kvm_arm_target_impl_cpu_init(void);
10 
11 #ifdef CONFIG_ARM_PKVM_GUEST
12 void pkvm_init_hyp_services(void);
13 #else
14 static inline void pkvm_init_hyp_services(void) { };
15 #endif
16 
17 static inline void kvm_arch_init_hyp_services(void)
18 {
19 	pkvm_init_hyp_services();
20 };
21 
22 #endif
23