osfmk/x86_64/pmap.c

511 	kernel_pmap->pm_obj_pml4 = &kpml4obj_object_store;
1117 	p->pm_obj_pml4 = vm_object_allocate((vm_object_size_t)(NPML4PGS));
1118 	if (NULL == p->pm_obj_pml4)
1194 	inuse_ptepages += p->pm_obj_pml4->resident_page_count;
1195 	vm_object_deallocate(p->pm_obj_pml4);
1395 	vm_object_lock(map->pm_obj_pml4);
1403 		vm_object_unlock(map->pm_obj_pml4);
1413        if (0 != vm_page_lookup(map->pm_obj_pml4, (vm_object_offset_t)i)) {
1415 		     map, map->pm_obj_pml4, vaddr, i);
1418 	vm_page_insert(m, map->pm_obj_pml4, (vm_object_offset_t)i);
1419 	vm_object_unlock(map->pm_obj_pml4);