\r
#include <Chipset/ArmV7.h>\r
\r
+#define ARM_PRIMARY_CORE 0\r
#define SerialPrint(txt) SerialPortWrite (txt, AsciiStrLen(txt)+1);\r
\r
// Vector Table for PrePi Phase\r
VOID\r
PrePiMain (\r
IN UINTN UefiMemoryBase,\r
- IN UINTN StackBase,\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
VOID\r
PrimaryMain (\r
IN UINTN UefiMemoryBase,\r
- IN UINTN StackBase,\r
IN UINT64 StartTimeStamp\r
);\r
\r