osfmk/i386/pmap.c

307  * the single pml4 page per pmap is allocated at pmap create time and exists
310  * this returns the address of the requested pml4 entry in the top level page.
320  * maps in the pml4 page, if any, containing the pdpt entry requested
327   pml4_entry_t *pml4;
336   pml4 = pmap64_pml4(pmap, vaddr);
338 	if (pml4 && ((*pml4 & INTEL_PTE_VALID))) {
340 		newpf = *pml4 & PG_FRAME;
1383 	        /* alloc the pml4 page in kernel vm */
1385 		        panic("pmap_create kmem_alloc_kobject pml4");
1807 	if (kernel_pmap == map) panic("expand kernel pml4");
1815 	 *	Allocate a VM page for the pml4 page
2738   kprintf("    pml4[0] 0x%llx\n",*p->pm_pml4);