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;