at master 485 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); 9void kvm_arm_target_impl_cpu_init(void); 10 11#ifdef CONFIG_ARM_PKVM_GUEST 12void pkvm_init_hyp_services(void); 13#else 14static inline void pkvm_init_hyp_services(void) { }; 15#endif 16 17static inline void kvm_arch_init_hyp_services(void) 18{ 19 pkvm_init_hyp_services(); 20}; 21 22#endif