Lines Matching refs:pml4
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);