Lines Matching refs:pml4
699 * the single pml4 page per pmap is allocated at pmap create time and exists
702 * this returns the address of the requested pml4 entry in the top level page.
712 * maps in the pml4 page, if any, containing the pdpt entry requested
719 pml4_entry_t *pml4;
728 pml4 = pmap64_pml4(pmap, vaddr);
730 if (pml4 && ((*pml4 & INTEL_PTE_VALID))) {
732 newpf = *pml4 & PG_FRAME;
1651 /* alloc the pml4 page in kernel vm */
1653 panic("pmap_create kmem_alloc_wired pml4");
3075 if (kernel_pmap == map) panic("expand kernel pml4");
3083 * Allocate a VM page for the pml4 page
4657 kprintf(" pml4[0] 0x%llx\n",*p->pm_pml4);