PlatformInit.c

Go to the documentation of this file.

 
#include <PiPei.h>
#include <Library/DebugLib.h>
#include <Library/SerialPortLib.h>
 
VOID
EFIAPI
PlatformInit (
  IN VOID  *FspHobList,
  IN VOID  *StartOfRange,
  IN VOID  *EndOfRange
  )
{
  //
  // Platform initialization
  // Enable Serial port here
  //
  SerialPortInitialize ();
 
  DEBUG ((DEBUG_INFO, "PrintPeiCoreEntryPointParam in PlatformInit\n"));
  DEBUG ((DEBUG_INFO, "FspHobList - 0x%x\n", FspHobList));
  DEBUG ((DEBUG_INFO, "StartOfRange - 0x%x\n", StartOfRange));
  DEBUG ((DEBUG_INFO, "EndOfRange - 0x%x\n", EndOfRange));
}