#include <Library/SerialPortLib.h>\r
#include <Library/ArmPlatformLib.h>\r
\r
-extern UINT64 mSystemMemoryEnd;\r
+extern UINT64 mSystemMemoryEnd;\r
\r
RETURN_STATUS\r
EFIAPI\r
\r
VOID\r
PrePiMain (\r
- IN UINTN UefiMemoryBase,\r
- IN UINTN StacksBase,\r
- IN UINT64 StartTimeStamp\r
+ IN UINTN UefiMemoryBase,\r
+ IN UINTN StacksBase,\r
+ IN UINT64 StartTimeStamp\r
);\r
\r
EFI_STATUS\r
EFIAPI\r
MemoryPeim (\r
- IN EFI_PHYSICAL_ADDRESS UefiMemoryBase,\r
- IN UINT64 UefiMemorySize\r
+ IN EFI_PHYSICAL_ADDRESS UefiMemoryBase,\r
+ IN UINT64 UefiMemorySize\r
);\r
\r
EFI_STATUS\r
\r
VOID\r
PrimaryMain (\r
- IN UINTN UefiMemoryBase,\r
- IN UINTN StacksBase,\r
- IN UINT64 StartTimeStamp\r
+ IN UINTN UefiMemoryBase,\r
+ IN UINTN StacksBase,\r
+ IN UINT64 StartTimeStamp\r
);\r
\r
VOID\r
SecondaryMain (\r
- IN UINTN MpId\r
+ IN UINTN MpId\r
);\r
\r
// Either implemented by PrePiLib or by MemoryInitPei\r