Lines Matching refs:pm_cr3
967 current_cpu_datap()->cpu_active_cr3 = kernel_pmap->pm_cr3;
1161 kernel_pmap->pm_cr3 = (pmap_paddr_t)((int)IdlePDPT);
1177 lo_kernel_cr3 = kernel_pmap->pm_cr3;
1178 current_cpu_datap()->cpu_kernel_cr3 = (addr64_t) kernel_pmap->pm_cr3;
1286 kernel_pmap->pm_cr3 = (pmap_paddr_t)((int)IdlePML4); /* setup in start.s for us */
1304 kernel64_cr3 = (addr64_t) kernel_pmap->pm_cr3;
1627 p->pm_cr3 = (pmap_paddr_t)kvtophys((vm_offset_t)pdpt);
1656 p->pm_cr3 = (pmap_paddr_t)kvtophys((vm_offset_t)p->pm_hold);
4527 pmap_paddr_t pmap_cr3 = pmap->pm_cr3;
4653 kprintf(" pm_cr3 0x%llx\n",p->pm_cr3);
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);