A separate patch is fine. Reviewed-by: Jim Mattson <jmattson@xxxxxxxxxx> On Mon, Aug 28, 2017 at 7:55 AM, David Hildenbrand <david@xxxxxxxxxx> wrote: > 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
