diff options
| author | Richard Henderson <richard.henderson@linaro.org> | 2023-07-07 21:40:49 +0100 |
|---|---|---|
| committer | Richard Henderson <richard.henderson@linaro.org> | 2023-07-15 08:02:32 +0100 |
| commit | 558a4411c25d43d3f35bc18d84c31ca336ac16c6 (patch) | |
| tree | 1831594098d281588495ebe10847c8189a9091de /linux-headers | |
| parent | 260561d873106c2fd15565b1835c354a725ed678 (diff) | |
linux-user: Rename mmap_reserve to mmap_reserve_or_unmap
If !reserved_va, munmap instead and assert success.
Update all callers.
Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
Message-Id: <20230707204054.8792-22-richard.henderson@linaro.org>
Diffstat (limited to 'linux-headers')
0 files changed, 0 insertions, 0 deletions