8 if (!cpuid_is_supported()) {
9 printf ("CPUID instruction is not supported by this CPU\n");
13 printf ("Vendor ID: %s\n", cpuid_get_cpu_type_string (cpuid_get_cpu_type ()));
16 cpuid(CPU_PROC_BRAND_STRING, (uint32_t *)buf);
17 printf ("Processor Brand: %s\n", buf);
19 printf ("Highest extended function supported: %#010x\n", cpuid_highest_ext_func_supported());
21 uint32_t phys_virt[2];
22 cpuid(CPU_VIRT_PHYS_ADDR_SIZES, phys_virt);
23 printf ("Physical address size: %d\nVirtual address size: %d\n", phys_virt[0], phys_virt[1]);
25 uint32_t extfeatures[2];
26 cpuid(CPU_EXTENDED_PROC_INFO_FEATURE_BITS, extfeatures);
27 printf ("Extended processor info and feature bits: %d %d\n", extfeatures[0], extfeatures[1]);
30 cpuid(CPU_EXTENDED_L2_CACHE_FEATURES, l2c);
31 printf("L2 Line size: %u bytes\tAssociativity: %02xh\tCache Size: %u KB\n",
32 l2c[0], l2c[1], l2c[2]);
35 cpuid(0x0ffffffUL, &invalid);
36 printf ("Testing invalid: %#010x\n", invalid);