#include <stdio.h>
int main(void)
{
unsigned max; // eax
unsigned id[3]; // ebx, edx (!), ecx (!)
asm("cpuid" : "=a" (max), "=b" (id[0]), "=c" (id[2]), "=d" (id[1]) : "a" (0));
printf("ID: \"%.12s\", max input value: %u\n", (char const*)id, max);
return 0;
}