Sec.h

Go to the documentation of this file.

 
#ifndef SEC_H_
#define SEC_H_
 
#include <PiPei.h>
 
#include <Library/ArmLib.h>
#include <Library/ArmPlatformLib.h>
#include <Library/BaseLib.h>
#include <Library/BaseMemoryLib.h>
#include <Library/CacheMaintenanceLib.h>
#include <Library/DebugAgentLib.h>
#include <Library/DebugLib.h>
#include <Library/PrintLib.h>
#include <Library/SerialPortLib.h>
 
#include <Ppi/TemporaryRamSupport.h>
 
VOID
SecSwitchStack (
  INTN  StackDelta
  );
 
VOID
PeiVectorTable (
  VOID
  );
 
VOID
PeiCommonExceptionEntry (
  IN UINT32  Entry,
  IN UINTN   LR
  );
 
#endif