Philippe Mathieu-Daudé | da278d5 | 2020-05-08 12:02:22 +0200 | [diff] [blame] | 1 | /* |
| 2 | * QEMU Xen support |
| 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 | |
Philippe Mathieu-Daudé | 6970030 | 2023-04-03 14:53:17 +0200 | [diff] [blame] | 8 | /* header to be included in non-Xen-specific code */ |
| 9 | |
Philippe Mathieu-Daudé | da278d5 | 2020-05-08 12:02:22 +0200 | [diff] [blame] | 10 | #ifndef SYSEMU_XEN_H |
| 11 | #define SYSEMU_XEN_H |
| 12 | |
Philippe Mathieu-Daudé | 261bbc3 | 2023-11-10 22:04:53 +0000 | [diff] [blame] | 13 | #ifdef CONFIG_USER_ONLY |
| 14 | #error Cannot include sysemu/xen.h from user emulation |
| 15 | #endif |
| 16 | |
Philippe Mathieu-Daudé | ce6936b | 2020-09-08 17:55:27 +0200 | [diff] [blame] | 17 | #include "exec/cpu-common.h" |
| 18 | |
Philippe Mathieu-Daudé | 7d7a21b | 2023-06-13 16:29:11 +0200 | [diff] [blame] | 19 | #ifdef COMPILING_PER_TARGET |
Philippe Mathieu-Daudé | 8e0ef06 | 2020-08-04 09:49:30 +0200 | [diff] [blame] | 20 | # ifdef CONFIG_XEN |
| 21 | # define CONFIG_XEN_IS_POSSIBLE |
| 22 | # endif |
| 23 | #else |
| 24 | # define CONFIG_XEN_IS_POSSIBLE |
Philippe Mathieu-Daudé | 7d7a21b | 2023-06-13 16:29:11 +0200 | [diff] [blame] | 25 | #endif /* COMPILING_PER_TARGET */ |
Philippe Mathieu-Daudé | da278d5 | 2020-05-08 12:02:22 +0200 | [diff] [blame] | 26 | |
Philippe Mathieu-Daudé | 8e0ef06 | 2020-08-04 09:49:30 +0200 | [diff] [blame] | 27 | #ifdef CONFIG_XEN_IS_POSSIBLE |
| 28 | |
| 29 | extern bool xen_allowed; |
| 30 | |
| 31 | #define xen_enabled() (xen_allowed) |
Philippe Mathieu-Daudé | da278d5 | 2020-05-08 12:02:22 +0200 | [diff] [blame] | 32 | |
Philippe Mathieu-Daudé | da278d5 | 2020-05-08 12:02:22 +0200 | [diff] [blame] | 33 | void xen_hvm_modified_memory(ram_addr_t start, ram_addr_t length); |
| 34 | void xen_ram_alloc(ram_addr_t ram_addr, ram_addr_t size, |
| 35 | struct MemoryRegion *mr, Error **errp); |
Philippe Mathieu-Daudé | da278d5 | 2020-05-08 12:02:22 +0200 | [diff] [blame] | 36 | |
Philippe Mathieu-Daudé | 8e0ef06 | 2020-08-04 09:49:30 +0200 | [diff] [blame] | 37 | #else /* !CONFIG_XEN_IS_POSSIBLE */ |
Philippe Mathieu-Daudé | da278d5 | 2020-05-08 12:02:22 +0200 | [diff] [blame] | 38 | |
| 39 | #define xen_enabled() 0 |
Philippe Mathieu-Daudé | da278d5 | 2020-05-08 12:02:22 +0200 | [diff] [blame] | 40 | static inline void xen_hvm_modified_memory(ram_addr_t start, ram_addr_t length) |
| 41 | { |
| 42 | /* nothing */ |
| 43 | } |
| 44 | static inline void xen_ram_alloc(ram_addr_t ram_addr, ram_addr_t size, |
| 45 | MemoryRegion *mr, Error **errp) |
| 46 | { |
| 47 | g_assert_not_reached(); |
| 48 | } |
Philippe Mathieu-Daudé | da278d5 | 2020-05-08 12:02:22 +0200 | [diff] [blame] | 49 | |
Philippe Mathieu-Daudé | 8e0ef06 | 2020-08-04 09:49:30 +0200 | [diff] [blame] | 50 | #endif /* CONFIG_XEN_IS_POSSIBLE */ |
Philippe Mathieu-Daudé | da278d5 | 2020-05-08 12:02:22 +0200 | [diff] [blame] | 51 | |
| 52 | #endif |