#include <Library/MemoryAllocationLib.h>\r
#include <Library/HobLib.h>\r
#include <Library/SerialPortLib.h>\r
-#include <Library/ArmPlatformLib.h>\r
\r
#define SerialPrint(txt) SerialPortWrite (txt, AsciiStrLen(txt)+1);\r
\r
-extern UINT64 mSystemMemoryEnd;\r
-\r
RETURN_STATUS\r
EFIAPI\r
TimerConstructor (\r
PrePiMain (\r
IN UINTN UefiMemoryBase,\r
IN UINTN StacksBase,\r
- IN UINTN GlobalVariableBase,\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