2 * Copyright (C) 2020 Citrix Systems UK Ltd.
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.
8 #include "qemu/osdep.h"
9 #include "hw/xen/xen_pt.h"
10 #include "qapi/error.h"
12 bool xen_igd_gfx_pt_enabled(void)
17 void xen_igd_gfx_pt_set(bool value
, Error
**errp
)
20 error_setg(errp
, "Xen PCI passthrough support not built in");
24 void xen_igd_reserve_slot(PCIBus
*pci_bus
)