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
10 #ifdef CONFIG_ARM_PKVM_GUEST
11 void pkvm_init_hyp_services(void);
12 #else
13 static inline void pkvm_init_hyp_services(void) { };
14 #endif
15
16 static inline void kvm_arch_init_hyp_services(void)
17 {
18 pkvm_init_hyp_services();
19 };
20
21 #endif
22
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.