Lines Matching refs:pm_pml4
786 kernel_pmap->pm_pml4 = IdlePML4;
790 pmap_store_pte(kernel_pmap->pm_pml4,
821 kernel_pmap->pm_hold = (vm_offset_t)kernel_pmap->pm_pml4;
1408 pmap_store_pte((pml4p+KERNEL_UBER_PML4_INDEX),*kernel_pmap->pm_pml4);
2735 kprintf(" pm_pml4 0x%x\n",p->pm_pml4);
2738 kprintf(" pml4[0] 0x%llx\n",*p->pm_pml4);
2790 kprintf("user pm_cr3=0x%016llx pm_hold=0x%08x pm_pml4=0x%08x\n",
2791 p->pm_cr3, p->pm_hold, p->pm_pml4);
2799 kprintf("kern pm_cr3=0x%016llx pm_hold=0x%08x pm_pml4=0x%08x\n",
2800 kernel_pmap->pm_cr3, kernel_pmap->pm_hold, kernel_pmap->pm_pml4);