/* * QEMU Xen support * * This work is licensed under the terms of the GNU GPL, version 2 or later. * See the COPYING file in the top-level directory. */ #ifndef SYSEMU_XEN_H #define SYSEMU_XEN_H #ifdef CONFIG_XEN bool xen_enabled(void); #ifndef CONFIG_USER_ONLY void xen_hvm_modified_memory(ram_addr_t start, ram_addr_t length); void xen_ram_alloc(ram_addr_t ram_addr, ram_addr_t size, struct MemoryRegion *mr, Error **errp); #endif #else /* !CONFIG_XEN */ #define xen_enabled() 0 #ifndef CONFIG_USER_ONLY static inline void xen_hvm_modified_memory(ram_addr_t start, ram_addr_t length) { /* nothing */ } static inline void xen_ram_alloc(ram_addr_t ram_addr, ram_addr_t size, MemoryRegion *mr, Error **errp) { g_assert_not_reached(); } #endif #endif /* CONFIG_XEN */ #endif