PIN_BASED_EXT_INTR_MASK 5817 arch/x86/kvm/vmx/nested.c PIN_BASED_EXT_INTR_MASK | PIN_BASED_EXT_INTR_MASK 248 arch/x86/kvm/vmx/nested.h PIN_BASED_EXT_INTR_MASK; PIN_BASED_EXT_INTR_MASK 2420 arch/x86/kvm/vmx/vmx.c min = PIN_BASED_EXT_INTR_MASK | PIN_BASED_NMI_EXITING;