8 if (!cpuid_is_supported()) {
9 printf ("CPUID instruction is not supported by this CPU\n");
13 uint32_t info = CPUID_HIGHEST_EXTENDED_FUNCTION_SUPPORTED | CPUID_EXTENDED_L2_CACHE_FEATURES | CPUID_VIRT_PHYS_ADDR_SIZES
14 | CPUID_PROCINFO_AND_FEATUREBITS;
15 uint32_t featureset = CPUID_FEAT_ECX_ALL | CPUID_FEAT_EDX_ALL;
16 if (!cpuid_write_info(info, featureset, NULL)) {
17 printf("Failed to write CPU information!\n");
21 printf("Wrote CPU information\n");