#ifndef __PREPEICORE_H_\r
#define __PREPEICORE_H_\r
\r
+#include <Library/ArmLib.h>\r
+#include <Library/ArmPlatformLib.h>\r
+#include <Library/BaseMemoryLib.h>\r
#include <Library/DebugLib.h>\r
+#include <Library/IoLib.h>\r
#include <Library/PcdLib.h>\r
\r
#include <PiPei.h>\r
IN UINTN CopySize\r
);\r
\r
+EFI_STATUS\r
+PrePeiCoreGetGlobalVariableMemory (\r
+ OUT EFI_PHYSICAL_ADDRESS *GlobalVariableBase\r
+ );\r
+\r
VOID\r
SecSwitchStack (\r
INTN StackDelta\r