1 // SPDX-License-Identifier: GPL-2.0
3 * Copyright © 2019 Oracle and/or its affiliates. All rights reserved.
4 * Copyright © 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved.
9 #ifndef __ARCH_X86_KVM_XEN_H__
10 #define __ARCH_X86_KVM_XEN_H__
13 #include <linux/jump_label_ratelimit.h>
15 extern struct static_key_false_deferred kvm_xen_enabled;
17 int __kvm_xen_has_interrupt(struct kvm_vcpu *vcpu);
18 int kvm_xen_vcpu_set_attr(struct kvm_vcpu *vcpu, struct kvm_xen_vcpu_attr *data);
19 int kvm_xen_vcpu_get_attr(struct kvm_vcpu *vcpu, struct kvm_xen_vcpu_attr *data);
20 int kvm_xen_hvm_set_attr(struct kvm *kvm, struct kvm_xen_hvm_attr *data);
21 int kvm_xen_hvm_get_attr(struct kvm *kvm, struct kvm_xen_hvm_attr *data);
22 int kvm_xen_write_hypercall_page(struct kvm_vcpu *vcpu, u64 data);
23 int kvm_xen_hvm_config(struct kvm *kvm, struct kvm_xen_hvm_config *xhc);
24 void kvm_xen_destroy_vm(struct kvm *kvm);
26 static inline bool kvm_xen_hypercall_enabled(struct kvm *kvm)
28 return static_branch_unlikely(&kvm_xen_enabled.key) &&
29 (kvm->arch.xen_hvm_config.flags &
30 KVM_XEN_HVM_CONFIG_INTERCEPT_HCALL);
33 static inline int kvm_xen_has_interrupt(struct kvm_vcpu *vcpu)
35 if (static_branch_unlikely(&kvm_xen_enabled.key) &&
36 vcpu->arch.xen.vcpu_info_set && vcpu->kvm->arch.xen.upcall_vector)
37 return __kvm_xen_has_interrupt(vcpu);
42 static inline int kvm_xen_write_hypercall_page(struct kvm_vcpu *vcpu, u64 data)
47 static inline void kvm_xen_destroy_vm(struct kvm *kvm)
51 static inline bool kvm_xen_hypercall_enabled(struct kvm *kvm)
56 static inline int kvm_xen_has_interrupt(struct kvm_vcpu *vcpu)
62 int kvm_xen_hypercall(struct kvm_vcpu *vcpu);
64 /* 32-bit compatibility definitions, also used natively in 32-bit build */
65 #include <asm/pvclock-abi.h>
66 #include <asm/xen/interface.h>
68 struct compat_arch_vcpu_info {
73 struct compat_vcpu_info {
74 uint8_t evtchn_upcall_pending;
75 uint8_t evtchn_upcall_mask;
77 uint32_t evtchn_pending_sel;
78 struct compat_arch_vcpu_info arch;
79 struct pvclock_vcpu_time_info time;
80 }; /* 64 bytes (x86) */
82 struct compat_arch_shared_info {
84 unsigned int pfn_to_mfn_frame_list_list;
85 unsigned int nmi_reason;
87 unsigned int p2m_vaddr;
88 unsigned int p2m_generation;
92 struct compat_shared_info {
93 struct compat_vcpu_info vcpu_info[MAX_VIRT_CPUS];
94 uint32_t evtchn_pending[32];
95 uint32_t evtchn_mask[32];
96 struct pvclock_wall_clock wc;
97 struct compat_arch_shared_info arch;
100 #endif /* __ARCH_X86_KVM_XEN_H__ */