vm_map_clip_end
result = vm_map_clip_end(map, entry, end);
rv = vm_map_clip_end(map, entry, end);
rv = vm_map_clip_end(map, entry, end);
rv = vm_map_clip_end(map, lentry, end);
rv = vm_map_clip_end(map, entry, end);
rv = vm_map_clip_end(map, entry, end);
rv = vm_map_clip_end(map, entry, end);