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 } 17