Symbol: VMCS_CR4_MASK
usr/src/cmd/bhyvectl/bhyvectl.c
726
error = vm_get_vmcs_field(vcpu, VMCS_CR4_MASK, &cr4mask);
usr/src/uts/intel/io/vmm/intel/vmx.c
880
vmcs_write(VMCS_CR4_MASK, cr4_ones_mask | cr4_zeros_mask);