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/tcg-accel-ops.c | |
parent | 4b840f96096d11a69122de4b045a327a6e9a7dfa (diff) |
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/tcg-accel-ops.c')
0 files changed, 0 insertions, 0 deletions