at v6.12 21 lines 444 B view raw
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 7void kvm_init_hyp_services(void); 8bool kvm_arm_hyp_service_available(u32 func_id); 9 10#ifdef CONFIG_ARM_PKVM_GUEST 11void pkvm_init_hyp_services(void); 12#else 13static inline void pkvm_init_hyp_services(void) { }; 14#endif 15 16static inline void kvm_arch_init_hyp_services(void) 17{ 18 pkvm_init_hyp_services(); 19}; 20 21#endif