Searched refs:PIN_BASED_EXT_INTR_MASK (Results 1 – 2 of 2) sorted by relevance
65 #define PIN_BASED_EXT_INTR_MASK 0x00000001 macro
1462 min = PIN_BASED_EXT_INTR_MASK | PIN_BASED_NMI_EXITING; in setup_vmcs_config()