cpuid.c

#include <stdio.h>
  
int main(int argc, char **argv)
{
        int part0 = 0;
        int part1 = 0;
        int part2 = 0;
        int part3 = 0;
        asm(
                "CPUID\r\n"
                : "=a"(part0), "=b"(part1), "=c"(part2), "=d"(part3)
                : "a"(0)
        );

        printf("%04X-%04X-%04X-%04X\n", part0, part1, part2, part3);
        return 0;
}