Symbol: PINBASED_VIRTUAL_NMI
sys/amd64/vmm/intel/vmx.c
2397
CTASSERT((PINBASED_CTLS_ONE_SETTING & PINBASED_VIRTUAL_NMI) != 0);
sys/amd64/vmm/intel/vmx.c
83
PINBASED_VIRTUAL_NMI)