Symbol: VMCS_GUEST_IA32_CR3
sys/arch/amd64/amd64/vmm_machdep.c
1087
if (vmread(VMCS_GUEST_IA32_CR3, &crs[VCPU_REGS_CR3]))
sys/arch/amd64/amd64/vmm_machdep.c
1367
if (vmwrite(VMCS_GUEST_IA32_CR3, crs[VCPU_REGS_CR3]))
sys/arch/amd64/amd64/vmm_machdep.c
5438
if (vmread(VMCS_GUEST_IA32_CR3, &cr3)) {
sys/arch/amd64/amd64/vmm_machdep.c
8017
vmx_dump_vmcs_field(VMCS_GUEST_IA32_CR3, "G. CR3");
sys/arch/amd64/amd64/vmm_machdep.c
8145
if (vmread(VMCS_GUEST_IA32_CR3, &r))