On 24.08.2017 22:39, Jim Mattson wrote: > Perhaps these as well? > > SECONDARY_EXEC_DESC -> SECONDARY_EXEC_DT_EXITING > SECONDARY_EXEC_RDTSCP -> SECONDARY_EXEC_ENABLE_RDTSCP > SECONDARY_EXEC_XSAVES -> SECONDARY_EXEC_ENABLE_XSAVES > PIN_BASED_EXT_INTR_MASK -> PIN_BASED_EXT_INTR_EXITING > Indeed, separate patch or resend this one? -- Thanks, David