|  | /* | 
|  | * QEMU Xen emulation: QMP stubs | 
|  | * | 
|  | * Copyright © 2023 Amazon.com, Inc. or its affiliates. All Rights Reserved. | 
|  | * | 
|  | * Authors: David Woodhouse <dwmw2@infradead.org> | 
|  | * | 
|  | * This work is licensed under the terms of the GNU GPL, version 2 or later. | 
|  | * See the COPYING file in the top-level directory. | 
|  | */ | 
|  |  | 
|  | #include "qemu/osdep.h" | 
|  |  | 
|  | #include "qapi/error.h" | 
|  | #include "qapi/qapi-commands-misc-target.h" | 
|  |  | 
|  | #include "xen_evtchn.h" | 
|  |  | 
|  | void xen_evtchn_snoop_msi(PCIDevice *dev, bool is_msix, unsigned int vector, | 
|  | uint64_t addr, uint32_t data, bool is_masked) | 
|  | { | 
|  | } | 
|  |  | 
|  | void xen_evtchn_remove_pci_device(PCIDevice *dev) | 
|  | { | 
|  | } | 
|  |  | 
|  | bool xen_evtchn_deliver_pirq_msi(uint64_t address, uint32_t data) | 
|  | { | 
|  | return false; | 
|  | } | 
|  |  | 
|  | #ifdef TARGET_I386 | 
|  | EvtchnInfoList *qmp_xen_event_list(Error **errp) | 
|  | { | 
|  | error_setg(errp, "Xen event channel emulation not enabled"); | 
|  | return NULL; | 
|  | } | 
|  |  | 
|  | void qmp_xen_event_inject(uint32_t port, Error **errp) | 
|  | { | 
|  | error_setg(errp, "Xen event channel emulation not enabled"); | 
|  | } | 
|  | #endif |