cr3
uint32 cr3;
movq %rcx,%cr3 ; \
movq %rcx,%cr3 ; \
movq %rcx,%cr3 ; \
if (vmcb->state.cr3 != state->crs[NVMM_X64_CR_CR3]) {
vmcb->state.cr3 = state->crs[NVMM_X64_CR_CR3];
state->crs[NVMM_X64_CR_CR3] = vmcb->state.cr3;
uint64_t cr3;
uint64_t cr0, cr3, cr4, efer;
cr3 = vmx_vmread(VMCS_GUEST_CR3);
if (cr3 != state->crs[NVMM_X64_CR_CR3]) {
void load_cr3(u_int cr3);
void load_cr3(u_long cr3);
movq %rcx,%cr3 ; \
movq %rcx,%cr3 ; \
movq %rcx,%cr3 ; \
if (vmcb->state.cr3 != state->crs[NVMM_X64_CR_CR3]) {
vmcb->state.cr3 = state->crs[NVMM_X64_CR_CR3];
state->crs[NVMM_X64_CR_CR3] = vmcb->state.cr3;
uint64_t cr3;
uint64_t cr0, cr3, cr4, efer;
cr3 = vmx_vmread(VMCS_GUEST_CR3);
if (cr3 != state->crs[NVMM_X64_CR_CR3]) {
x86_gva_to_gpa_32bit(struct nvmm_machine *mach, uint64_t cr3,
L2gpa = (cr3 & CR3_FRAME_32BIT);
x86_gva_to_gpa_32bit_pae(struct nvmm_machine *mach, uint64_t cr3,
L3gpa = (cr3 & CR3_FRAME_32BIT_PAE);
x86_gva_to_gpa_64bit(struct nvmm_machine *mach, uint64_t cr3,
L4gpa = (cr3 & CR3_FRAME_64BIT);
uint64_t cr3;
cr3 = state->crs[NVMM_X64_CR_CR3];
ret = x86_gva_to_gpa_64bit(mach, cr3, gva, gpa, prot);
ret = x86_gva_to_gpa_32bit_pae(mach, cr3, gva, gpa, prot);
ret = x86_gva_to_gpa_32bit(mach, cr3, gva, gpa, has_pse, prot);
tss->cr3 = x86_read_cr3();