diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2023-08-14 23:22:58 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2023-08-14 23:22:58 +0200 |
| commit | 2b8bf64d3807a3c7eb9c0a88c1469573802d3e26 (patch) | |
| tree | 68c988f8336efd4688898b24d9f390cc25e1fe44 /vm | |
| parent | 5b60138c85b607ac63eeca4f4ed224f5b3e26f90 (diff) | |
vm: Also check for virtual addresses in vm_map_delete
Diffstat (limited to 'vm')
| -rw-r--r-- | vm/vm_map.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/vm/vm_map.c b/vm/vm_map.c index 55a822af..62ab8184 100644 --- a/vm/vm_map.c +++ b/vm/vm_map.c @@ -1980,6 +1980,9 @@ kern_return_t vm_map_delete( vm_map_entry_t entry; vm_map_entry_t first_entry; + if (map->pmap == kernel_pmap && (start < kernel_virtual_start || end > kernel_virtual_end)) + panic("vm_map_delete(%lx-%lx) falls in physical memory area!\n", (unsigned long) start, (unsigned long) end); + /* * Find the start of the region, and clip it */ |