* vm_map_remove: * * Remove the given address range from the target map. * This is the exported form of vm_map_delete. */
| 4022 | * This is the exported form of vm_map_delete. |
| 4023 | */ |
| 4024 | int |
| 4025 | vm_map_remove(vm_map_t map, vm_offset_t start, vm_offset_t end) |
| 4026 | { |
| 4027 | int result; |
| 4028 | |
| 4029 | vm_map_lock(map); |
| 4030 | VM_MAP_RANGE_CHECK(map, start, end); |
| 4031 | result = vm_map_delete(map, start, end); |
| 4032 | vm_map_unlock(map); |
| 4033 | return (result); |
| 4034 | } |
| 4035 | |
| 4036 | /* |
| 4037 | * vm_map_check_protection: |
no test coverage detected