Symbol: VMCS_GUEST_CR3
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2727
cr3 = vmx_vmread(VMCS_GUEST_CR3);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2804
vmx_vmwrite(VMCS_GUEST_CR3, state->crs[NVMM_X64_CR_CR3]);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2949
state->crs[NVMM_X64_CR_CR3] = vmx_vmread(VMCS_GUEST_CR3);