1507cb64dSJoao Martins /*
2507cb64dSJoao Martins * QEMU Xen emulation: QMP stubs
3507cb64dSJoao Martins *
4507cb64dSJoao Martins * Copyright © 2023 Amazon.com, Inc. or its affiliates. All Rights Reserved.
5507cb64dSJoao Martins *
6507cb64dSJoao Martins * Authors: David Woodhouse <dwmw2@infradead.org>
7507cb64dSJoao Martins *
8507cb64dSJoao Martins * This work is licensed under the terms of the GNU GPL, version 2 or later.
9507cb64dSJoao Martins * See the COPYING file in the top-level directory.
10507cb64dSJoao Martins */
11507cb64dSJoao Martins
12507cb64dSJoao Martins #include "qemu/osdep.h"
13507cb64dSJoao Martins
14507cb64dSJoao Martins #include "qapi/error.h"
15507cb64dSJoao Martins #include "qapi/qapi-commands-misc-target.h"
16507cb64dSJoao Martins
176096cf78SDavid Woodhouse #include "xen_evtchn.h"
18*a72ccc7fSDavid Woodhouse #include "xen_primary_console.h"
196096cf78SDavid Woodhouse
xen_evtchn_snoop_msi(PCIDevice * dev,bool is_msix,unsigned int vector,uint64_t addr,uint32_t data,bool is_masked)206096cf78SDavid Woodhouse void xen_evtchn_snoop_msi(PCIDevice *dev, bool is_msix, unsigned int vector,
216096cf78SDavid Woodhouse uint64_t addr, uint32_t data, bool is_masked)
226096cf78SDavid Woodhouse {
236096cf78SDavid Woodhouse }
246096cf78SDavid Woodhouse
xen_evtchn_remove_pci_device(PCIDevice * dev)256096cf78SDavid Woodhouse void xen_evtchn_remove_pci_device(PCIDevice *dev)
266096cf78SDavid Woodhouse {
276096cf78SDavid Woodhouse }
286096cf78SDavid Woodhouse
xen_evtchn_deliver_pirq_msi(uint64_t address,uint32_t data)296096cf78SDavid Woodhouse bool xen_evtchn_deliver_pirq_msi(uint64_t address, uint32_t data)
306096cf78SDavid Woodhouse {
316096cf78SDavid Woodhouse return false;
326096cf78SDavid Woodhouse }
336096cf78SDavid Woodhouse
xen_primary_console_create(void)34*a72ccc7fSDavid Woodhouse void xen_primary_console_create(void)
35*a72ccc7fSDavid Woodhouse {
36*a72ccc7fSDavid Woodhouse }
37*a72ccc7fSDavid Woodhouse
xen_primary_console_set_be_port(uint16_t port)38*a72ccc7fSDavid Woodhouse void xen_primary_console_set_be_port(uint16_t port)
39*a72ccc7fSDavid Woodhouse {
40*a72ccc7fSDavid Woodhouse }
41507cb64dSJoao Martins #ifdef TARGET_I386
qmp_xen_event_list(Error ** errp)42507cb64dSJoao Martins EvtchnInfoList *qmp_xen_event_list(Error **errp)
43507cb64dSJoao Martins {
44507cb64dSJoao Martins error_setg(errp, "Xen event channel emulation not enabled");
45507cb64dSJoao Martins return NULL;
46507cb64dSJoao Martins }
47507cb64dSJoao Martins
qmp_xen_event_inject(uint32_t port,Error ** errp)48507cb64dSJoao Martins void qmp_xen_event_inject(uint32_t port, Error **errp)
49507cb64dSJoao Martins {
50507cb64dSJoao Martins error_setg(errp, "Xen event channel emulation not enabled");
51507cb64dSJoao Martins }
52507cb64dSJoao Martins #endif
53