Symbol: VMCS_HOST_CR4
usr/src/cmd/bhyvectl/bhyvectl.c
871
error = vm_get_vmcs_field(vcpu, VMCS_HOST_CR4, &cr4);
usr/src/uts/intel/io/vmm/intel/vmx.c
795
vmcs_write(VMCS_HOST_CR4, vmm_get_host_cr4() | CR4_VMXE);