/** @file\r
*\r
-* Copyright (c) 2011, ARM Limited. All rights reserved.\r
+* Copyright (c) 2011-2015, ARM Limited. All rights reserved.\r
*\r
-* This program and the accompanying materials\r
-* are licensed and made available under the terms and conditions of the BSD License\r
-* which accompanies this distribution. The full text of the license may be found at\r
-* http://opensource.org/licenses/bsd-license.php\r
-*\r
-* THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,\r
-* WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r
+* SPDX-License-Identifier: BSD-2-Clause-Patent\r
*\r
**/\r
\r
\r
#include <Library/PcdLib.h>\r
#include <Library/ArmLib.h>\r
+#include <Library/BaseMemoryLib.h>\r
#include <Library/DebugLib.h>\r
+#include <Library/IoLib.h>\r
#include <Library/MemoryAllocationLib.h>\r
#include <Library/HobLib.h>\r
#include <Library/SerialPortLib.h>\r
#include <Library/ArmPlatformLib.h>\r
\r
-#include <Chipset/ArmV7.h>\r
-\r
#define SerialPrint(txt) SerialPortWrite (txt, AsciiStrLen(txt)+1);\r
\r
-// Vector Table for PrePi Phase\r
-VOID\r
-PrePiVectorTable (\r
- VOID\r
- );\r
+extern UINT64 mSystemMemoryEnd;\r
\r
RETURN_STATUS\r
EFIAPI\r
VOID\r
PrePiMain (\r
IN UINTN UefiMemoryBase,\r
+ IN UINTN StacksBase,\r
IN UINT64 StartTimeStamp\r
);\r
\r
VOID\r
PrimaryMain (\r
IN UINTN UefiMemoryBase,\r
+ IN UINTN StacksBase,\r
IN UINT64 StartTimeStamp\r
);\r
\r
VOID\r
);\r
\r
+EFI_STATUS\r
+GetPlatformPpi (\r
+ IN EFI_GUID *PpiGuid,\r
+ OUT VOID **Ppi\r
+ );\r
+\r
+// Initialize the Architecture specific controllers\r
+VOID\r
+ArchInitialize (\r
+ VOID\r
+ );\r
+\r
+VOID\r
+EFIAPI\r
+ProcessLibraryConstructorList (\r
+ VOID\r
+ );\r
+\r
#endif /* _PREPI_H_ */\r