vm_map_locked
if ((locked = vm_map_locked(map)) ||
if (!(locked = vm_map_locked(kernel_map)))
int vm_map_locked(vm_map_t map);