diff options
| author | Richard Henderson <richard.henderson@linaro.org> | 2023-07-07 21:40:37 +0100 |
|---|---|---|
| committer | Richard Henderson <richard.henderson@linaro.org> | 2023-07-15 08:02:32 +0100 |
| commit | c2281ddcf38cb851857718acc388f1b9b7564f39 (patch) | |
| tree | d3ca780adcb192c1d3ecac44b8f8ab9dc9743f09 /accel/tcg/user-exec.c | |
| parent | 4b840f96096d11a69122de4b045a327a6e9a7dfa (diff) | |
| download | focaccia-qemu-c2281ddcf38cb851857718acc388f1b9b7564f39.tar.gz focaccia-qemu-c2281ddcf38cb851857718acc388f1b9b7564f39.zip | |
accel/tcg: Introduce page_check_range_empty
Examine the interval tree to validate that a region has no existing mappings. Reviewed-by: Alex Bennée <alex.bennee@linaro.org> Signed-off-by: Richard Henderson <richard.henderson@linaro.org> Message-Id: <20230707204054.8792-10-richard.henderson@linaro.org>
Diffstat (limited to 'accel/tcg/user-exec.c')
| -rw-r--r-- | accel/tcg/user-exec.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/accel/tcg/user-exec.c b/accel/tcg/user-exec.c index d95b875a6a..ab684a3ea2 100644 --- a/accel/tcg/user-exec.c +++ b/accel/tcg/user-exec.c @@ -598,6 +598,13 @@ int page_check_range(target_ulong start, target_ulong len, int flags) return ret; } +bool page_check_range_empty(target_ulong start, target_ulong last) +{ + assert(last >= start); + assert_memory_lock(); + return pageflags_find(start, last) == NULL; +} + void page_protect(tb_page_addr_t address) { PageFlagsNode *p; |