#ifndef SOURCE_CPUID
#define SOURCE_CPUID

#include<types.h>

extern void cpuid_vendor(uint8_t cpuid_vendor_string[12]);

#endif