Lines Matching refs:pm_pml4
1287 kernel_pmap->pm_pml4 = IdlePML4;
1291 pmap_store_pte(kernel_pmap->pm_pml4,
1319 kernel_pmap->pm_hold = (vm_offset_t)kernel_pmap->pm_pml4;
1676 pmap_store_pte((pml4p+KERNEL_UBER_PML4_INDEX),*kernel_pmap->pm_pml4);
4654 kprintf(" pm_pml4 0x%x\n",p->pm_pml4);
4657 kprintf(" pml4[0] 0x%llx\n",*p->pm_pml4);
4709 kprintf("user pm_cr3=0x%016llx pm_hold=0x%08x pm_pml4=0x%08x\n",
4710 p->pm_cr3, p->pm_hold, p->pm_pml4);
4718 kprintf("kern pm_cr3=0x%016llx pm_hold=0x%08x pm_pml4=0x%08x\n",
4719 kernel_pmap->pm_cr3, kernel_pmap->pm_hold, kernel_pmap->pm_pml4);