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