Anthony PERARD | acd0c94 | 2020-06-03 17:04:42 +0100 | [diff] [blame] | 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 | } |