Message ID | 20200508152729.14295-1-andrew.cooper3@citrix.com (mailing list archive) |
---|---|
State | New, archived |
Headers | show |
Series | x86/gen-cpuid: Distinguish default vs max in feature annotations | expand |
On 08.05.2020 17:27, Andrew Cooper wrote: > @@ -133,9 +134,13 @@ def crunch_numbers(state): > state.hvm_shadow_def = state.pv_def | state.raw['S'] > state.hvm_hap_def = state.hvm_shadow_def | state.raw['H'] > > + # TODO: Ignore def/max split until the toolstack migration logic is fixed > state.pv_max = state.pv_def > state.hvm_shadow_max = state.hvm_shadow_def > state.hvm_hap_max = state.hvm_hap_def > + # state.pv_max = state.raw['A'] | state.raw['a'] > + # state.hvm_shadow_max = state.pv_max | state.raw['S'] | state.raw['s'] > + # state.hvm_hap_max = state.hvm_shadow_max | state.raw['H'] | state.raw['h'] While in comment form it doesn't matter yet, for actually enabling this it would seem to me to be more expressive as state.pv_max = state.pv_def | state.raw['a'] state.hvm_shadow_max = state.hvm_shadow_def | state.pv_max | state.raw['s'] state.hvm_hap_max = state.hvm_hap_def | state.hvm_shadow_max | state.raw['h'] Thoughts? Jan
On 11/05/2020 08:43, Jan Beulich wrote: > [CAUTION - EXTERNAL EMAIL] DO NOT reply, click links, or open attachments unless you have verified the sender and know the content is safe. > > On 08.05.2020 17:27, Andrew Cooper wrote: >> @@ -133,9 +134,13 @@ def crunch_numbers(state): >> state.hvm_shadow_def = state.pv_def | state.raw['S'] >> state.hvm_hap_def = state.hvm_shadow_def | state.raw['H'] >> >> + # TODO: Ignore def/max split until the toolstack migration logic is fixed >> state.pv_max = state.pv_def >> state.hvm_shadow_max = state.hvm_shadow_def >> state.hvm_hap_max = state.hvm_hap_def >> + # state.pv_max = state.raw['A'] | state.raw['a'] >> + # state.hvm_shadow_max = state.pv_max | state.raw['S'] | state.raw['s'] >> + # state.hvm_hap_max = state.hvm_shadow_max | state.raw['H'] | state.raw['h'] > While in comment form it doesn't matter yet, for actually enabling > this it would seem to me to be more expressive as > > state.pv_max = state.pv_def | state.raw['a'] > state.hvm_shadow_max = state.hvm_shadow_def | state.pv_max | state.raw['s'] > state.hvm_hap_max = state.hvm_hap_def | state.hvm_shadow_max | state.raw['h'] > > Thoughts? The format/layout of metadata prohibits that from having any kind of difference. Furthermore, expressing it this way doesn't require anyone to look at the *_def derivation to figure out what is going on. I'm going to commit it in this form, but will tidy it up to be properly tabulated in a future patch, to make it easier to read. ~Andrew
diff --git a/xen/include/public/arch-x86/cpufeatureset.h b/xen/include/public/arch-x86/cpufeatureset.h index e2749245f3..0ffab6c57b 100644 --- a/xen/include/public/arch-x86/cpufeatureset.h +++ b/xen/include/public/arch-x86/cpufeatureset.h @@ -87,6 +87,8 @@ enum { * 'A' = All guests. * 'S' = All HVM guests (not PV guests). * 'H' = HVM HAP guests (not PV or HVM Shadow guests). + * Upper case => Available by default + * Lower case => Can be opted-in to, but not available by default. */ /* Intel-defined CPU features, CPUID level 0x00000001.edx, word 0 */ diff --git a/xen/tools/gen-cpuid.py b/xen/tools/gen-cpuid.py index af5610a5e6..d90a2d85c7 100755 --- a/xen/tools/gen-cpuid.py +++ b/xen/tools/gen-cpuid.py @@ -23,6 +23,7 @@ def __init__(self, input, output): self.raw = { '!': set(), 'A': set(), 'S': set(), 'H': set(), + 'a': set(), 's': set(), 'h': set(), } # State calculated @@ -133,9 +134,13 @@ def crunch_numbers(state): state.hvm_shadow_def = state.pv_def | state.raw['S'] state.hvm_hap_def = state.hvm_shadow_def | state.raw['H'] + # TODO: Ignore def/max split until the toolstack migration logic is fixed state.pv_max = state.pv_def state.hvm_shadow_max = state.hvm_shadow_def state.hvm_hap_max = state.hvm_hap_def + # state.pv_max = state.raw['A'] | state.raw['a'] + # state.hvm_shadow_max = state.pv_max | state.raw['S'] | state.raw['s'] + # state.hvm_hap_max = state.hvm_shadow_max | state.raw['H'] | state.raw['h'] # # Feature dependency information.