123200b7aSJoao Martins // SPDX-License-Identifier: GPL-2.0 223200b7aSJoao Martins /* 323200b7aSJoao Martins * Copyright © 2019 Oracle and/or its affiliates. All rights reserved. 423200b7aSJoao Martins * Copyright © 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. 523200b7aSJoao Martins * 623200b7aSJoao Martins * KVM Xen emulation 723200b7aSJoao Martins */ 823200b7aSJoao Martins 923200b7aSJoao Martins #ifndef __ARCH_X86_KVM_XEN_H__ 1023200b7aSJoao Martins #define __ARCH_X86_KVM_XEN_H__ 1123200b7aSJoao Martins 12*b59b153dSPaolo Bonzini #ifdef CONFIG_KVM_XEN 137d6bbebbSDavid Woodhouse #include <linux/jump_label_ratelimit.h> 147d6bbebbSDavid Woodhouse 157d6bbebbSDavid Woodhouse extern struct static_key_false_deferred kvm_xen_enabled; 167d6bbebbSDavid Woodhouse 1740da8ccdSDavid Woodhouse int __kvm_xen_has_interrupt(struct kvm_vcpu *vcpu); 183e324615SDavid Woodhouse int kvm_xen_vcpu_set_attr(struct kvm_vcpu *vcpu, struct kvm_xen_vcpu_attr *data); 193e324615SDavid Woodhouse int kvm_xen_vcpu_get_attr(struct kvm_vcpu *vcpu, struct kvm_xen_vcpu_attr *data); 20a76b9641SJoao Martins int kvm_xen_hvm_set_attr(struct kvm *kvm, struct kvm_xen_hvm_attr *data); 21a76b9641SJoao Martins int kvm_xen_hvm_get_attr(struct kvm *kvm, struct kvm_xen_hvm_attr *data); 2223200b7aSJoao Martins int kvm_xen_write_hypercall_page(struct kvm_vcpu *vcpu, u64 data); 2378e9878cSDavid Woodhouse int kvm_xen_hvm_config(struct kvm *kvm, struct kvm_xen_hvm_config *xhc); 247d6bbebbSDavid Woodhouse void kvm_xen_destroy_vm(struct kvm *kvm); 2523200b7aSJoao Martins 2623200b7aSJoao Martins static inline bool kvm_xen_hypercall_enabled(struct kvm *kvm) 2723200b7aSJoao Martins { 287d6bbebbSDavid Woodhouse return static_branch_unlikely(&kvm_xen_enabled.key) && 297d6bbebbSDavid Woodhouse (kvm->arch.xen_hvm_config.flags & 307d6bbebbSDavid Woodhouse KVM_XEN_HVM_CONFIG_INTERCEPT_HCALL); 3123200b7aSJoao Martins } 3223200b7aSJoao Martins 3340da8ccdSDavid Woodhouse static inline int kvm_xen_has_interrupt(struct kvm_vcpu *vcpu) 3440da8ccdSDavid Woodhouse { 3540da8ccdSDavid Woodhouse if (static_branch_unlikely(&kvm_xen_enabled.key) && 3640da8ccdSDavid Woodhouse vcpu->arch.xen.vcpu_info_set && vcpu->kvm->arch.xen.upcall_vector) 3740da8ccdSDavid Woodhouse return __kvm_xen_has_interrupt(vcpu); 3840da8ccdSDavid Woodhouse 3940da8ccdSDavid Woodhouse return 0; 4040da8ccdSDavid Woodhouse } 41*b59b153dSPaolo Bonzini #else 42*b59b153dSPaolo Bonzini static inline int kvm_xen_write_hypercall_page(struct kvm_vcpu *vcpu, u64 data) 43*b59b153dSPaolo Bonzini { 44*b59b153dSPaolo Bonzini return 1; 45*b59b153dSPaolo Bonzini } 46*b59b153dSPaolo Bonzini 47*b59b153dSPaolo Bonzini static inline void kvm_xen_destroy_vm(struct kvm *kvm) 48*b59b153dSPaolo Bonzini { 49*b59b153dSPaolo Bonzini } 50*b59b153dSPaolo Bonzini 51*b59b153dSPaolo Bonzini static inline bool kvm_xen_hypercall_enabled(struct kvm *kvm) 52*b59b153dSPaolo Bonzini { 53*b59b153dSPaolo Bonzini return false; 54*b59b153dSPaolo Bonzini } 55*b59b153dSPaolo Bonzini 56*b59b153dSPaolo Bonzini static inline int kvm_xen_has_interrupt(struct kvm_vcpu *vcpu) 57*b59b153dSPaolo Bonzini { 58*b59b153dSPaolo Bonzini return 0; 59*b59b153dSPaolo Bonzini } 60*b59b153dSPaolo Bonzini #endif 61*b59b153dSPaolo Bonzini 62*b59b153dSPaolo Bonzini int kvm_xen_hypercall(struct kvm_vcpu *vcpu); 631ea9f2edSDavid Woodhouse 641ea9f2edSDavid Woodhouse /* 32-bit compatibility definitions, also used natively in 32-bit build */ 651ea9f2edSDavid Woodhouse #include <asm/pvclock-abi.h> 661ea9f2edSDavid Woodhouse #include <asm/xen/interface.h> 671ea9f2edSDavid Woodhouse 681ea9f2edSDavid Woodhouse struct compat_arch_vcpu_info { 691ea9f2edSDavid Woodhouse unsigned int cr2; 701ea9f2edSDavid Woodhouse unsigned int pad[5]; 711ea9f2edSDavid Woodhouse }; 721ea9f2edSDavid Woodhouse 731ea9f2edSDavid Woodhouse struct compat_vcpu_info { 741ea9f2edSDavid Woodhouse uint8_t evtchn_upcall_pending; 751ea9f2edSDavid Woodhouse uint8_t evtchn_upcall_mask; 767137b7aeSSean Christopherson uint16_t pad; 771ea9f2edSDavid Woodhouse uint32_t evtchn_pending_sel; 781ea9f2edSDavid Woodhouse struct compat_arch_vcpu_info arch; 791ea9f2edSDavid Woodhouse struct pvclock_vcpu_time_info time; 801ea9f2edSDavid Woodhouse }; /* 64 bytes (x86) */ 811ea9f2edSDavid Woodhouse 821ea9f2edSDavid Woodhouse struct compat_arch_shared_info { 831ea9f2edSDavid Woodhouse unsigned int max_pfn; 841ea9f2edSDavid Woodhouse unsigned int pfn_to_mfn_frame_list_list; 851ea9f2edSDavid Woodhouse unsigned int nmi_reason; 861ea9f2edSDavid Woodhouse unsigned int p2m_cr3; 871ea9f2edSDavid Woodhouse unsigned int p2m_vaddr; 881ea9f2edSDavid Woodhouse unsigned int p2m_generation; 891ea9f2edSDavid Woodhouse uint32_t wc_sec_hi; 901ea9f2edSDavid Woodhouse }; 911ea9f2edSDavid Woodhouse 921ea9f2edSDavid Woodhouse struct compat_shared_info { 931ea9f2edSDavid Woodhouse struct compat_vcpu_info vcpu_info[MAX_VIRT_CPUS]; 941ea9f2edSDavid Woodhouse uint32_t evtchn_pending[32]; 951ea9f2edSDavid Woodhouse uint32_t evtchn_mask[32]; 961ea9f2edSDavid Woodhouse struct pvclock_wall_clock wc; 971ea9f2edSDavid Woodhouse struct compat_arch_shared_info arch; 981ea9f2edSDavid Woodhouse }; 991ea9f2edSDavid Woodhouse 10023200b7aSJoao Martins #endif /* __ARCH_X86_KVM_XEN_H__ */ 101