Symbol: CR4_INVALID
sys/dev/nvmm/x86/nvmm_x86_vmx.c
1730
if (gpr & CR4_INVALID) {
sys/dev/nvmm/x86/nvmm_x86_vmx.c
3144
vmx_vmwrite(VMCS_CR4_MASK, CR4_INVALID);