1*23200b7aSJoao Martins // SPDX-License-Identifier: GPL-2.0 2*23200b7aSJoao Martins /* 3*23200b7aSJoao Martins * Copyright © 2019 Oracle and/or its affiliates. All rights reserved. 4*23200b7aSJoao Martins * Copyright © 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. 5*23200b7aSJoao Martins * 6*23200b7aSJoao Martins * KVM Xen emulation 7*23200b7aSJoao Martins */ 8*23200b7aSJoao Martins 9*23200b7aSJoao Martins #ifndef __ARCH_X86_KVM_XEN_H__ 10*23200b7aSJoao Martins #define __ARCH_X86_KVM_XEN_H__ 11*23200b7aSJoao Martins 12*23200b7aSJoao Martins int kvm_xen_hypercall(struct kvm_vcpu *vcpu); 13*23200b7aSJoao Martins int kvm_xen_write_hypercall_page(struct kvm_vcpu *vcpu, u64 data); 14*23200b7aSJoao Martins 15*23200b7aSJoao Martins static inline bool kvm_xen_hypercall_enabled(struct kvm *kvm) 16*23200b7aSJoao Martins { 17*23200b7aSJoao Martins return kvm->arch.xen_hvm_config.flags & 18*23200b7aSJoao Martins KVM_XEN_HVM_CONFIG_INTERCEPT_HCALL; 19*23200b7aSJoao Martins } 20*23200b7aSJoao Martins 21*23200b7aSJoao Martins #endif /* __ARCH_X86_KVM_XEN_H__ */ 22