Symbol: VMCS_HOST_IA32_CR0
sys/arch/amd64/amd64/vmm_machdep.c
2691
if (vmwrite(VMCS_HOST_IA32_CR0, cr0)) {
sys/arch/amd64/amd64/vmm_machdep.c
8055
vmx_dump_vmcs_field(VMCS_HOST_IA32_CR0, "H. CR0");