1 /* 2 * Copyright (C) 2020 Citrix Systems UK Ltd. 3 * 4 * This work is licensed under the terms of the GNU GPL, version 2 or later. 5 * See the COPYING file in the top-level directory. 6 */ 7 8 #include "qemu/osdep.h" 9 #include "hw/xen/xen_pt.h" 10 #include "qapi/error.h" 11 12 bool xen_igd_gfx_pt_enabled(void) 13 { 14 return false; 15 } 16 17 void xen_igd_gfx_pt_set(bool value, Error **errp) 18 { 19 if (value) { 20 error_setg(errp, "Xen PCI passthrough support not built in"); 21 } 22 } 23 24 void xen_igd_reserve_slot(PCIBus *pci_bus) 25 { 26 } 27