hw/xen/xen_pt_stub.c

   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 }