x86/gen-cpuid: Create max and default variations of INIT_*_FEATURES
authorAndrew Cooper <andrew.cooper3@citrix.com>
Tue, 25 Feb 2020 12:30:49 +0000 (12:30 +0000)
committerAndrew Cooper <andrew.cooper3@citrix.com>
Thu, 27 Feb 2020 18:54:58 +0000 (18:54 +0000)
commit78a9ae2399d3f326c824ba3664e9654ff18a0091
tree2d5d44f18c5fd4e957b59e6d1ad2c989c87b04dd
parentdca31274846c8e7bb9814a9a643509780bdc021e
x86/gen-cpuid: Create max and default variations of INIT_*_FEATURES

For now, write the same content for both.  Update the users of the
initialisers to use the new name, and extend xen-cpuid to dump both default
and max featuresets.

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Reviewed-by: Jan Beulich <jbeulich@suse.com>
tools/libxc/include/xenctrl.h
tools/libxc/xc_cpuid_x86.c
tools/misc/xen-cpuid.c
xen/arch/x86/cpuid.c
xen/tools/gen-cpuid.py