2018-08-21 18:16:19 +02:00
|
|
|
/*
|
|
|
|
* 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"
|
|
|
|
|
2023-01-14 00:35:46 +01:00
|
|
|
#include "xen_evtchn.h"
|
2023-10-16 17:00:23 +02:00
|
|
|
#include "xen_primary_console.h"
|
2023-01-14 00:35:46 +01:00
|
|
|
|
|
|
|
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;
|
|
|
|
}
|
|
|
|
|
2023-10-16 17:00:23 +02:00
|
|
|
void xen_primary_console_create(void)
|
|
|
|
{
|
|
|
|
}
|
|
|
|
|
|
|
|
void xen_primary_console_set_be_port(uint16_t port)
|
|
|
|
{
|
|
|
|
}
|
2018-08-21 18:16:19 +02:00
|
|
|
#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
|