xref: /openbmc/qemu/include/sysemu/kvm_xen.h (revision 18e83f28)
161491cf4SDavid Woodhouse /*
261491cf4SDavid Woodhouse  * Xen HVM emulation support in KVM
361491cf4SDavid Woodhouse  *
461491cf4SDavid Woodhouse  * Copyright © 2019 Oracle and/or its affiliates. All rights reserved.
561491cf4SDavid Woodhouse  * Copyright © 2022 Amazon.com, Inc. or its affiliates. All Rights Reserved.
661491cf4SDavid Woodhouse  *
761491cf4SDavid Woodhouse  * This work is licensed under the terms of the GNU GPL, version 2 or later.
861491cf4SDavid Woodhouse  * See the COPYING file in the top-level directory.
961491cf4SDavid Woodhouse  *
1061491cf4SDavid Woodhouse  */
1161491cf4SDavid Woodhouse 
1261491cf4SDavid Woodhouse #ifndef QEMU_SYSEMU_KVM_XEN_H
1361491cf4SDavid Woodhouse #define QEMU_SYSEMU_KVM_XEN_H
1461491cf4SDavid Woodhouse 
15d40ddd52SDavid Woodhouse /* The KVM API uses these to indicate "no GPA" or "no GFN" */
16d40ddd52SDavid Woodhouse #define INVALID_GPA UINT64_MAX
17d40ddd52SDavid Woodhouse #define INVALID_GFN UINT64_MAX
18d40ddd52SDavid Woodhouse 
19d40ddd52SDavid Woodhouse /* QEMU plays the rôle of dom0 for "interdomain" communication. */
20d40ddd52SDavid Woodhouse #define DOMID_QEMU  0
21d40ddd52SDavid Woodhouse 
2279b7067dSJoao Martins int kvm_xen_soft_reset(void);
2361491cf4SDavid Woodhouse uint32_t kvm_xen_get_caps(void);
2427d4075dSDavid Woodhouse void *kvm_xen_get_vcpu_info_hva(uint32_t vcpu_id);
25*18e83f28SDavid Woodhouse bool kvm_xen_has_vcpu_callback_vector(void);
2627d4075dSDavid Woodhouse void kvm_xen_inject_vcpu_callback_vector(uint32_t vcpu_id, int type);
27ddf0fd9aSDavid Woodhouse void kvm_xen_set_callback_asserted(void);
28c723d4c1SDavid Woodhouse int kvm_xen_set_vcpu_virq(uint32_t vcpu_id, uint16_t virq, uint16_t port);
296f43f2eeSDavid Woodhouse uint16_t kvm_xen_get_gnttab_max_frames(void);
30e16aff4cSDavid Woodhouse uint16_t kvm_xen_get_evtchn_max_pirq(void);
3161491cf4SDavid Woodhouse 
3261491cf4SDavid Woodhouse #define kvm_xen_has_cap(cap) (!!(kvm_xen_get_caps() &           \
3361491cf4SDavid Woodhouse                                  KVM_XEN_HVM_CONFIG_ ## cap))
3461491cf4SDavid Woodhouse 
358b57d5c5SDavid Woodhouse #define XEN_SPECIAL_AREA_ADDR 0xfeff8000UL
368b57d5c5SDavid Woodhouse #define XEN_SPECIAL_AREA_SIZE 0x4000UL
378b57d5c5SDavid Woodhouse 
388b57d5c5SDavid Woodhouse #define XEN_SPECIALPAGE_CONSOLE     0
398b57d5c5SDavid Woodhouse #define XEN_SPECIALPAGE_XENSTORE    1
408b57d5c5SDavid Woodhouse 
418b57d5c5SDavid Woodhouse #define XEN_SPECIAL_PFN(x) ((XEN_SPECIAL_AREA_ADDR >> TARGET_PAGE_BITS) + \
428b57d5c5SDavid Woodhouse                             XEN_SPECIALPAGE_##x)
438b57d5c5SDavid Woodhouse 
4461491cf4SDavid Woodhouse #endif /* QEMU_SYSEMU_KVM_XEN_H */
45