From 868bb33faa643c7ee291bb308a829122b72d4845 Mon Sep 17 00:00:00 2001 From: Jan Kiszka Date: Tue, 21 Jun 2011 22:59:09 +0200 Subject: xen: Fold CONFIG_XEN_MAPCACHE into CONFIG_XEN Xen won't be enabled if there is no backend support available for the host. And that also means the map cache will work. So drop the separate config switch and move the required stubs over to xen-stub.c. Signed-off-by: Jan Kiszka Signed-off-by: Alexander Graf --- hw/xen.h | 9 --------- 1 file changed, 9 deletions(-) (limited to 'hw') diff --git a/hw/xen.h b/hw/xen.h index d435ca0..95029bb 100644 --- a/hw/xen.h +++ b/hw/xen.h @@ -31,15 +31,6 @@ static inline int xen_enabled(void) #endif } -static inline int xen_mapcache_enabled(void) -{ -#ifdef CONFIG_XEN_MAPCACHE - return xen_enabled(); -#else - return 0; -#endif -} - int xen_pci_slot_get_pirq(PCIDevice *pci_dev, int irq_num); void xen_piix3_set_irq(void *opaque, int irq_num, int level); void xen_piix_pci_write_config_client(uint32_t address, uint32_t val, int len); -- cgit v1.1