1 <!-- Features disabled by QEMU -->
3 <cpuid eax_in='0x00000001' ecx_in='0x00' eax='0x00000000' ebx='0x00000000' ecx='0x0800c1dc' edx='0xb0600000'/>
4 <cpuid eax_in='0x00000007' ecx_in='0x00' eax='0x00000000' ebx='0x02002004' ecx='0x00000000' edx='0x00000000'/>
5 <cpuid eax_in='0x80000007' ecx_in='0x00' eax='0x00000000' ebx='0x00000000' ecx='0x00000000' edx='0x00000100'/>