Symbol: PINBASED_VIRTUAL_NMI
usr/src/uts/intel/io/vmm/intel/vmx.c
2193
CTASSERT((PINBASED_CTLS_ONE_SETTING & PINBASED_VIRTUAL_NMI) != 0);
usr/src/uts/intel/io/vmm/intel/vmx.c
94
PINBASED_VIRTUAL_NMI)