| 1 | /* SPDX-License-Identifier: GPL-2.0-or-later */ |
| 2 | |
| 3 | #include "qemu/osdep.h" |
| 4 | #include "qapi/error.h" |
| 5 | #include "qapi/qapi-commands-misc-i386.h" |
| 6 | |
| 7 | EvtchnInfoList *qmp_xen_event_list(Error **errp) |
| 8 | { |
| 9 | error_setg(errp, "Xen event channel emulation not enabled"); |
| 10 | return NULL; |
| 11 | } |
| 12 | |
| 13 | void qmp_xen_event_inject(uint32_t port, Error **errp) |
| 14 | { |
| 15 | error_setg(errp, "Xen event channel emulation not enabled"); |
| 16 | } |