diff options
| author | Richard Henderson <richard.henderson@linaro.org> | 2023-07-17 19:58:58 +0100 |
|---|---|---|
| committer | Richard Henderson <richard.henderson@linaro.org> | 2023-07-23 17:57:10 +0100 |
| commit | 990ef9182b5b7cb63be8da918fe38865b3ab840a (patch) | |
| tree | 3fda6bb24d96bd59733563956522d1965edc2101 /linux-user | |
| parent | 736a1588c104e9995c1831df33554df1f1def8b8 (diff) | |
include/exec: Add WITH_MMAP_LOCK_GUARD
Reviewed-by: Peter Maydell <peter.maydell@linaro.org>
Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
Diffstat (limited to 'linux-user')
| -rw-r--r-- | linux-user/mmap.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/linux-user/mmap.c b/linux-user/mmap.c index 44b53bd446..a5dfb56545 100644 --- a/linux-user/mmap.c +++ b/linux-user/mmap.c @@ -36,6 +36,7 @@ void mmap_lock(void) void mmap_unlock(void) { + assert(mmap_lock_count > 0); if (--mmap_lock_count == 0) { pthread_mutex_unlock(&mmap_mutex); } |