Add support for CPUID 0x40000000 in WHPX, requiring Justin Terry's patch that adds support for CPUID 1.
Based-on: <[email protected]> Alessandro Pilotti (1): WHPX Add signature CPUID target/i386/whpx-all.c | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) -- 2.13.2
