]> git.proxmox.com Git - mirror_edk2.git/blobdiff - ArmVirtPkg/PrePi/PrePi.h
UefiCpuPkg/Include/Register/Msr: Update reference spec info.
[mirror_edk2.git] / ArmVirtPkg / PrePi / PrePi.h
index 15b91e49c9bd9c60e90833572d5bee560807eb28..14c9bf92c115b09e169bbb2a82138700b87a0bcf 100644 (file)
 #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
@@ -41,7 +38,6 @@ VOID
 PrePiMain (\r
   IN  UINTN                     UefiMemoryBase,\r
   IN  UINTN                     StacksBase,\r
-  IN  UINTN                     GlobalVariableBase,\r
   IN  UINT64                    StartTimeStamp\r
   );\r
 \r
@@ -64,12 +60,6 @@ BuildMemoryTypeInformationHob (
   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