CpuId.c
#include <Library/BaseLib.h>
#include <Uefi.h>
#include <Library/UefiLib.h>
VOID
PrintCpuName (
)
{
UINT32 Eax;
UINT32 Ebx;
UINT32 Ecx;
UINT32 Edx;
CHAR8 String1[48];
CHAR8 String2[48];
CHAR8 String3[48];
Eax = Ebx = Ecx = Edx = 0;
AsmCpuid (0x80000002, &Eax, &Ebx, &Ecx, &Edx);
*(UINT32 *)(String1 + 0) = Eax;
*(UINT32 *)(String1 + 4) = Ebx;
*(UINT32 *)(String1 + 8) = Ecx;
*(UINT32 *)(String1 + 12) = Edx;
String1 [16] = 0;
AsmCpuid (0x80000003, &Eax, &Ebx, &Ecx, &Edx);
*(UINT32 *)(String2 + 0) = Eax;
*(UINT32 *)(String2 + 4) = Ebx;
*(UINT32 *)(String2 + 8) = Ecx;
*(UINT32 *)(String2 + 12) = Edx;
String2 [16] = 0;
AsmCpuid (0x80000004, &Eax, &Ebx, &Ecx, &Edx);
*(UINT32 *)(String3 + 0) = Eax;
*(UINT32 *)(String3 + 4) =