int main(int argc, char *argv[]) { uint32_t leaf, counter; uint32_t eax, ebx, ecx, edx; openconsole(&dev_null_r, &dev_stdcon_w); if (argc < 2 || argc > 4) { printf("Usage: %s leaf [counter]\n", argv[0]); exit(1); } leaf = strtoul(argv[1], NULL, 0); counter = (argv > 2) ? strtoul(argv[2], NULL, 0) : 0; if (!cpu_has_eflag(EFLAGS_ID)) { printf("The CPUID instruction is not supported\n"); exit(1); } cpuid_count(leaf, counter, &eax, &ebx, &ecx, &edx); dump_reg("eax", eax); dump_reg("ebx", ebx); dump_reg("ecx", ecx); dump_reg("edx", edx); return 0; }
static bool __constfunc cpu_has_cpuid(void) { return cpu_has_eflag(X86_EFLAGS_ID); }