Symbol: VMCS_CR4_MASK
sys/arch/amd64/amd64/vmm_machdep.c
2477
if (vmwrite(VMCS_CR4_MASK, CR4_VMXE)) {
sys/arch/amd64/amd64/vmm_machdep.c
7982
vmx_dump_vmcs_field(VMCS_CR4_MASK, "CR4 Mask");