Symbol: VMCS_HOST_IA32_CR4
sys/arch/amd64/amd64/vmm_machdep.c
2699
if (vmwrite(VMCS_HOST_IA32_CR4, cr4)) {
sys/arch/amd64/amd64/vmm_machdep.c
8059
vmx_dump_vmcs_field(VMCS_HOST_IA32_CR4, "H. CR4");