Symbol: VMCS_HOST_IA32_CR3
sys/arch/amd64/amd64/vmm_machdep.c
3772
if (vmwrite(VMCS_HOST_IA32_CR3, cr3)) {
sys/arch/amd64/amd64/vmm_machdep.c
3774
VMCS_HOST_IA32_CR3, cr3);
sys/arch/amd64/amd64/vmm_machdep.c
8057
vmx_dump_vmcs_field(VMCS_HOST_IA32_CR3, "H. CR3");