cpuctl/arch/i386.c

891 	x86_cpuid(0x80000000, descs);
897 		x86_cpuid(0x80000001, descs);
913 	x86_cpuid(0x80000000, descs);
920 		x86_cpuid(0x80000001, descs);
928 	x86_cpuid(0xc0000000, descs);
933 	x86_cpuid(0xc0000001, descs);
945 	x86_cpuid(0x80000000, descs);
951 		x86_cpuid(0x80000001, descs);
988 	x86_cpuid(2, descs);
1016 		x86_cpuid(2, descs);
1028 	x86_cpuid(0x18, descs);
1195 	x86_cpuid(0x80000000, descs);
1202 	x86_cpuid(0x80000005, descs);
1241 	x86_cpuid(0x80000006, descs);
1318 	x86_cpuid(0x80000019, descs);
1384 	x86_cpuid(0x80000000, descs);
1395 	x86_cpuid(0x80000005, descs);
1433 	x86_cpuid(0x80000006, descs);
1452 	x86_cpuid(0x80860007, descs);
1464 	x86_cpuid(0x80860000, descs);
1467 		x86_cpuid(0x80860001, descs);
1475 		x86_cpuid(0x80860002, descs);
1491 			x86_cpuid(0x80860003 + i, info.descs[i]);
1523 	 * This CPU supports cpuid instruction, so we can call x86_cpuid()
1532 	x86_cpuid(0, descs);
1544 	x86_cpuid(0x80000000, descs);
1557 		x86_cpuid(0x80000002, brand);
1558 		x86_cpuid(0x80000003, brand + 4);
1559 		x86_cpuid(0x80000004, brand + 8);
1576 	x86_cpuid(1, descs);
1600 		x86_cpuid(3, descs);
1608 	x86_cpuid(7, descs);
1645 		x86_cpuid(0x40000000, descs);
1751 			x86_cpuid(leaf, descs);
1772 		x86_cpuid(1, descs);
1803 	x86_cpuid(0x0b, descs);
1882 		x86_cpuid(1, descs);
1886 			x86_cpuid(0x8000008, descs);
1914 		x86_cpuid(0x8000001e, descs);
1977 		x86_cpuid(0x40000000, descs);
2196 		x86_cpuid(5, descs);
2218 		x86_cpuid(6, descs);
2227 		x86_cpuid(7, descs);
2252 			x86_cpuid(0x80000008, descs);
2260 			x86_cpuid(0x80000021, descs);
2266 			x86_cpuid(0x80000007, descs);
2272 			x86_cpuid(0x8000000a, descs);
2281 			x86_cpuid(0x8000001b, descs);
2286 			x86_cpuid(0x8000001f, descs);
2293 			x86_cpuid(0x80000022, descs);
2311 			x86_cpuid(0x0a, descs);
2353 			x86_cpuid(0x1a, descs);
2558 	x86_cpuid(0x80000007, regs);