docs: Add documentation of Arm 'imx25-pdk' board
[qemu.git] / hw / xen / xen_pt_stub.c
blob2d8cac8d54b97a8ad03b0f2a45b11af8e774dcb2
1 /*
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.
6 */
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)
14 return false;
17 void xen_igd_gfx_pt_set(bool value, Error **errp)
19 if (value) {
20 error_setg(errp, "Xen PCI passthrough support not built in");