#ifndef __PREPEICORE_H_\r
#define __PREPEICORE_H_\r
\r
+#include <Library/ArmLib.h>\r
+#include <Library/ArmPlatformLib.h>\r
+#include <Library/BaseMemoryLib.h>\r
#include <Library/DebugLib.h>\r
+#include <Library/IoLib.h>\r
#include <Library/PcdLib.h>\r
\r
#include <PiPei.h>\r
#include <Ppi/TemporaryRamSupport.h>\r
\r
+VOID\r
+CreatePpiList (\r
+ OUT UINTN *PpiListSize,\r
+ OUT EFI_PEI_PPI_DESCRIPTOR **PpiList\r
+ );\r
\r
EFI_STATUS\r
EFIAPI\r
-SecTemporaryRamSupport (\r
+PrePeiCoreTemporaryRamSupport (\r
IN CONST EFI_PEI_SERVICES **PeiServices,\r
IN EFI_PHYSICAL_ADDRESS TemporaryMemoryBase,\r
IN EFI_PHYSICAL_ADDRESS PermanentMemoryBase,\r
IN UINTN MpId\r
);\r
\r
+VOID\r
+PeiCommonExceptionEntry (\r
+ IN UINT32 Entry,\r
+ IN UINTN LR\r
+ );\r
+\r
#endif\r