ArmVirtPkg: HighMemDxe: add memory space for the high memory nodes

[mirror_edk2.git] / ArmVirtPkg / PrePi / PrePi.h

diff --git a/ArmVirtPkg/PrePi/PrePi.h b/ArmVirtPkg/PrePi/PrePi.h
index 517429fab9a40f6c2dce85526b2c934c6231c519..9b828377adc33bc9ffdf157702760aa12e7e5b4a 100644 (file)
--- a/ArmVirtPkg/PrePi/PrePi.h
+++ b/ArmVirtPkg/PrePi/PrePi.h
@@ -29,6 +29,8 @@
 \r
 #define SerialPrint(txt)  SerialPortWrite (txt, AsciiStrLen(txt)+1);\r
 \r
+extern UINT64 mSystemMemoryEnd;\r
+\r
 RETURN_STATUS\r
 EFIAPI\r
 TimerConstructor (\r
@@ -39,7 +41,6 @@ VOID
 PrePiMain (\r
   IN  UINTN                     UefiMemoryBase,\r
   IN  UINTN                     StacksBase,\r
-  IN  UINTN                     GlobalVariableBase,\r
   IN  UINT64                    StartTimeStamp\r
   );\r
 \r