cr3
uint64_t rip, uint64_t cr3, uint64_t gdtbase,
if ((error = vm_set_register(vcpu, VM_REG_GUEST_CR3, cr3)) != 0)
uint64_t rip, uint64_t cr3, uint64_t gdtbase,
uint64_t cr3;
cr3 = VM_PAGE_TO_PHYS(efi_pmltop_page);
cr3 |= pmap_get_pcid(curpmap);
load_cr3(cr3);
uint64_t cr3;
cr3 = curpmap->pm_cr3;
cr3 |= pmap_get_pcid(curpmap);
load_cr3(cr3);
uint64_t cr3;
cr3 = rcr3();
pml4e = (pml4_entry_t *)cr3 + pmap_pml4e_index(KERNSTART);
uint64_t cached, cr3, kcr3, ucr3;
cr3 = rcr3();
if ((cr3 & ~CR3_PCID_MASK) != pmap->pm_cr3)
uint64_t cached, cr3;
cr3 = rcr3();
if (!cached || (cr3 & ~CR3_PCID_MASK) != pmap->pm_cr3)
uint64_t cr3, pa, base;
cr3 = rcr3();
pml4e = (pml4_entry_t *)cr3 +
pml4e = (pml4_entry_t *)cr3 +
pml4e = (pml4_entry_t *)cr3 +
pml4e = (pml4_entry_t *)cr3 + pmap_pml4e_index(va);
movq %rax,%cr3
uint64_t cr3;
paging->cr3 = state->cr3;
*retval = state->cr3;
state->cr3 = val;
uint64_t cr3; /* Guest CR3 */
paging->cr3 = vmcs_guest_cr3();
ptpphys = paging->cr3; /* root of the page tables */
offsetof(struct acpi_tz_softc, tz_zone.cr3), acpi_tz_temp_sysctl, "IK",
acpi_tz_getparam(sc, "_CR3", &sc->tz_zone.cr3);
acpi_tz_sanity(sc, &sc->tz_zone.cr3, "_CR3");
if (sc->tz_zone.cr3 != -1 && temp >= sc->tz_zone.cr3)
int cr3;
uint64_t cr3;
cr3 = pmap->pm_cr3;
flush->address_space = cr3;
uint64_t cr3;
cr3 = pmap->pm_cr3;
flush->address_space = cr3;
u_int cr3, ncr4;
cr3 = (u_int)IdlePDPT;
cr3 = (u_int)IdlePTD;
tramp_idleptd = cr3;
load_cr3(cr3);
u_int32_t cr3;
cr3 = vtophys(pmap->pm_pdpt);
cr3 = vtophys(pmap->pm_pdir);
td->td_pcb->pcb_cr3 = cr3;
movl %eax, %cr3
static void cr3(void);
static void (*functions[])(void) = {&cr1, &cr2, &cr3, &rn1, &rw1, &rw2};
ts->paging.cr3 = tss->tss_cr3;
paging->cr3 = regs[1];
uint64_t cr0, cr2, cr3, cr4, dr0, dr1, dr2, dr3, dr6, dr7;
error = vm_get_register(vcpu, VM_REG_GUEST_CR3, &cr3);
printf("cr3[%d]\t\t0x%016lx\n", vcpuid, cr3);
uint64_t ctl, cr0, cr3, cr4, rsp, rip, pat, addr, u64;
error = vm_get_vmcs_field(vcpu, VMCS_HOST_CR3, &cr3);
printf("host_cr3[%d]\t\t0x%016lx\n", vcpuid, cr3);
static uint64_t gdtbase, cr3, rsp;
cr3 = v;
if (cr3 == 0)
error = vm_setup_freebsd_registers(vcpu, rip, cr3, gdtbase,