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 #endif
11