Symbol: VMCS_CR0_MASK
sys/arch/amd64/amd64/vmm_machdep.c
2483
if (vmwrite(VMCS_CR0_MASK, CR0_NE)) {
sys/arch/amd64/amd64/vmm_machdep.c
7980
vmx_dump_vmcs_field(VMCS_CR0_MASK, "CR0 Mask");