Symbol: VMCS_CR4_MASK
sys/amd64/vmm/intel/vmx.c
1037
mask_ident = VMCS_CR4_MASK;
usr.sbin/bhyvectl/amd64/bhyvectl_machdep.c
810
error = vm_get_vmcs_field(vcpu, VMCS_CR4_MASK, &cr4mask);