diff options
| author | Philippe Mathieu-Daudé <philmd@linaro.org> | 2023-12-11 21:51:26 +0100 |
|---|---|---|
| committer | Philippe Mathieu-Daudé <philmd@linaro.org> | 2024-04-26 17:03:05 +0200 |
| commit | 16aa8eaaace3f8eb2d14521705fdccab518388a3 (patch) | |
| tree | b208ad5804bffbe1acadb0673edada801a23c506 /include/user | |
| parent | d3cbde7402fa44b1be898df0e13257e6fc399974 (diff) | |
exec: Restrict inclusion of 'user/guest-base.h'
Declare 'have_guest_base' in "user/guest-base.h".
Very few files require this header, so explicitly include
it there instead of "exec/cpu-all.h" which is used in many
source files.
Assert this user-specific header is only included from user
emulation.
Signed-off-by: Philippe Mathieu-Daudé <philmd@linaro.org>
Reviewed-by: Richard Henderson <richard.henderson@linaro.org>
Message-Id: <20231211212003.21686-23-philmd@linaro.org>
Reviewed-by: Anton Johansson <anjo@rev.ng>
Diffstat (limited to 'include/user')
| -rw-r--r-- | include/user/guest-base.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/include/user/guest-base.h b/include/user/guest-base.h index 1e42bca5db..055c1d14fe 100644 --- a/include/user/guest-base.h +++ b/include/user/guest-base.h @@ -7,6 +7,12 @@ #ifndef USER_GUEST_BASE_H #define USER_GUEST_BASE_H +#ifndef CONFIG_USER_ONLY +#error Cannot include this header from system emulation +#endif + extern uintptr_t guest_base; +extern bool have_guest_base; + #endif |