2023-04-30 10:24:36 +03:00
|
|
|
/* SPDX-License-Identifier: LGPL-2.1-or-later */
|
|
|
|
/*
|
|
|
|
* Declaration of guest_base.
|
|
|
|
* Copyright (c) 2003 Fabrice Bellard
|
|
|
|
*/
|
|
|
|
|
2024-03-26 14:27:29 +03:00
|
|
|
#ifndef USER_GUEST_BASE_H
|
|
|
|
#define USER_GUEST_BASE_H
|
2023-04-30 10:24:36 +03:00
|
|
|
|
2023-12-11 23:51:26 +03:00
|
|
|
#ifndef CONFIG_USER_ONLY
|
|
|
|
#error Cannot include this header from system emulation
|
|
|
|
#endif
|
|
|
|
|
2023-04-30 10:24:36 +03:00
|
|
|
extern uintptr_t guest_base;
|
|
|
|
|
2023-12-11 23:51:26 +03:00
|
|
|
extern bool have_guest_base;
|
|
|
|
|
2023-04-30 10:24:36 +03:00
|
|
|
#endif
|