| * This work is licensed under the terms of the GNU GPL, version 2 or later. |
| * See the COPYING file in the top-level directory. |
| #include "exec/cpu-common.h" |
| # define CONFIG_XEN_IS_POSSIBLE |
| # define CONFIG_XEN_IS_POSSIBLE |
| #ifdef CONFIG_XEN_IS_POSSIBLE |
| #define xen_enabled() (xen_allowed) |
| 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); |
| #else /* !CONFIG_XEN_IS_POSSIBLE */ |
| static inline void xen_hvm_modified_memory(ram_addr_t start, ram_addr_t length) |
| static inline void xen_ram_alloc(ram_addr_t ram_addr, ram_addr_t size, |
| MemoryRegion *mr, Error **errp) |
| #endif /* CONFIG_XEN_IS_POSSIBLE */ |