cpuid_t do_cpuid(void) {
    cpuid_t stcpuid;
 
    /* Get vendor string: */ {
        unsigned a[3] = {0};
        int eax;
 
        asm volatile(
            "cpuid\n\t"
            :"=a"(eax), "=b"(a[0]), "=d"(a[1]), "=c"(a[2])
            :"a"(CPUID_GET_VENDORSTRING)
        );
 
        if (eax == 0) {
            fprintf(stderr, "cpuid not supported on this CPU.\n");
            exit(1);
        }
 
            memmove(stcpuid.vstring, a, 12);
            strncpy(stcpuid.manufacturer, get_manufacturer(stcpuid.vstring), 24);    
    }
    /* relevant */
    /* Get brandstring: */ {
        unsigned _bstr[12 + 1] = {0};
        char bstr[48 + 1] = {0};
 
        asm(
            "cpuid\n\t"
            :"=a"(_bstr[0]), "=b"(_bstr[1]), "=c"(_bstr[2]), "=d"(_bstr[3])
            :"a"(0x80000002)
        );
 
        asm(
            "cpuid\n\t"
            :"=a"(_bstr[4]), "=b"(_bstr[5]), "=c"(_bstr[6]), "=d"(_bstr[7])
            :"a"(0x80000003)
        );
 
        asm(
            "cpuid\n\t"
            :"=a"(_bstr[8]), "=b"(_bstr[9]), "=c"(_bstr[10]), "=d"(_bstr[11])
            :"a"(0x80000004)
        );
 
        /* I decided that the asm above was best to do in 3 seperate calls; it is
         * clearer this way, I hope.
         */
 
        memmove(bstr, _bstr, 48 + 1);
 
#if 1   /* What I should be getting: Intel(R) Core(TM)2 Quad  CPU   Q8200  @ 2.33GHz
         * What I am getting:        ItlR oeT) ud P  80 @23Gz
         * As you can see there are some slight differences.
         */
        int n = 0;
        for (n = 0; n < 49; n++) {
            putchar(bstr[n]);
            ++n;
        }
 
        putchar('\n');
 
#endif
    }
 
    return stcpuid;
}