blob: 2d8cac8d54b97a8ad03b0f2a45b11af8e774dcb2 [file] [log] [blame]
Anthony PERARDacd0c942020-06-03 17:04:42 +01001/*
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
12bool xen_igd_gfx_pt_enabled(void)
13{
14 return false;
15}
16
17void 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}