diff options
| -rw-r--r-- | include/hw/xen/xen.h | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/include/hw/xen/xen.h b/include/hw/xen/xen.h index 7451c5a0bf..b42b0fdb48 100644 --- a/include/hw/xen/xen.h +++ b/include/hw/xen/xen.h @@ -25,11 +25,7 @@ extern bool xen_allowed; static inline bool xen_enabled(void) { -#if defined(CONFIG_XEN_BACKEND) && defined(CONFIG_XEN) return xen_allowed; -#else - return 0; -#endif } int xen_pci_slot_get_pirq(PCIDevice *pci_dev, int irq_num); |