1 <!-- Features enabled by QEMU -->
3 <cpuid eax_in='0x00000001' ecx_in='0x00' eax='0x00000000' ebx='0x00000000' ecx='0xc7f8a223' edx='0x0f8bfbff'/>
4 <cpuid eax_in='0x00000006' ecx_in='0x00' eax='0x00000004' ebx='0x00000000' ecx='0x00000000' edx='0x00000000'/>
5 <cpuid eax_in='0x00000007' ecx_in='0x00' eax='0x00000000' ebx='0x21940283' ecx='0x1a400104' edx='0xac000400'/>
6 <cpuid eax_in='0x0000000d' ecx_in='0x01' eax='0x0000000f' ebx='0x00000000' ecx='0x00000000' edx='0x00000000'/>
7 <cpuid eax_in='0x80000001' ecx_in='0x00' eax='0x00000000' ebx='0x00000000' ecx='0x00000101' edx='0x28100800'/>
8 <cpuid eax_in='0x80000008' ecx_in='0x00' eax='0x00000000' ebx='0x01009000' ecx='0x00000000' edx='0x00000000'/>
9 <msr index='0x10a' edx='0x00000000' eax='0x0000006b'/>
10 <msr index='0x480' edx='0x00c00000' eax='0x00000000'/>
11 <msr index='0x485' edx='0x00000000' eax='0x20000060'/>
12 <msr index='0x48b' edx='0x00000000' eax='0x00136bff'/>
13 <msr index='0x48c' edx='0x00000d01' eax='0x06330041'/>
14 <msr index='0x48d' edx='0x00000000' eax='0x000000e9'/>
15 <msr index='0x48e' edx='0x00000000' eax='0xfbf99e8c'/>
16 <msr index='0x48f' edx='0x00000000' eax='0x007c8004'/>
17 <msr index='0x490' edx='0x00000000' eax='0x0000c204'/>
18 <msr index='0x491' edx='0x00000000' eax='0x00000001'/>