/** @file

Copyright (c) 2017, Intel Corporation. All rights reserved.<BR>
SPDX-License-Identifier: BSD-2-Clause-Patent

**/

#include <Uefi.h>
#include <PiPei.h>
#include <Library/TestPointCheckLib.h>
#include <Library/DebugLib.h>
#include <Register/Cpuid.h>
#include <Register/Msr.h>

VOID
TestPointDumpCpuInfo (
  VOID
  )
{
  UINT32  RegEax;
  
  DEBUG ((DEBUG_INFO, "==== TestPointDumpCpuInfo - Enter\n"));

  DEBUG((DEBUG_INFO, "CPU info\n"));
  AsmCpuid (CPUID_VERSION_INFO, &RegEax, NULL, NULL, NULL);
  DEBUG((DEBUG_INFO, "  CPUID = 0x%08x\n", RegEax));

  DEBUG((DEBUG_INFO, "  Microcode ID (0x%08x)  = 0x%016lx\n", MSR_IA32_BIOS_SIGN_ID, AsmReadMsr64 (MSR_IA32_BIOS_SIGN_ID)));
  DEBUG((DEBUG_INFO, "  Platform ID (0x%08x)   = 0x%016lx\n", MSR_IA32_PLATFORM_ID, AsmReadMsr64 (MSR_IA32_PLATFORM_ID)));

  DEBUG ((DEBUG_INFO, "==== TestPointDumpCpuInfo - Exit\n"));
}