#include <_stdio.h>
#include <alloc.h>
#include <cpuid.h>

extern void getVendorId(char *string);

void printCPUData() {
    char *vendorID = malloc(13 * sizeof(char));
    vendorID[12] = 0x00;
    getVendorId(vendorID);
    printf("vendor id: %s\n", vendorID);
    free(vendorID);
    yields();
}