Newer
Older
tree-os / src / kernel / drivers / cpu / cpuid.c
#include <_stdio.h>
#include <alloc.h>
#include <cpuid.h>

extern void getVendorId(char *string);

char *vendorID = "xxxxxxxxxxxx";

void printCPUData() {
    getVendorId(vendorID);
    printf("vendor id: %s\n", vendorID);
}