1234567891011121314151617181920212223242526 |
- /*
- * Copyright (C) 2020 Citrix Systems UK Ltd.
- *
- * 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 "hw/xen/xen_pt.h"
- #include "qapi/error.h"
- bool xen_igd_gfx_pt_enabled(void)
- {
- return false;
- }
- void xen_igd_gfx_pt_set(bool value, Error **errp)
- {
- if (value) {
- error_setg(errp, "Xen PCI passthrough support not built in");
- }
- }
- void xen_igd_reserve_slot(PCIBus *pci_bus)
- {
- }
|