Fix GCC build error.

[mirror_edk2.git] / OvmfPkg / PlatformPei / Platform.h

diff --git a/OvmfPkg/PlatformPei/Platform.h b/OvmfPkg/PlatformPei/Platform.h
index 48996ab7ff540b555bee958e1b349cfc90a513c2..31640e9b30be69c2406bb0f4e5b7e8e98e4db33c 100644 (file)
--- a/OvmfPkg/PlatformPei/Platform.h
+++ b/OvmfPkg/PlatformPei/Platform.h
@@ -69,8 +69,8 @@ GetSystemMemorySizeBelow4gb (
   VOID\r
   );\r
 \r
-EFI_PHYSICAL_ADDRESS\r
-MemDetect (\r
+VOID\r
+InitializeRamRegions (\r
   VOID\r
   );\r
 \r
@@ -96,4 +96,8 @@ XenPublishRamRegions (
   VOID\r
   );\r
 \r
+extern EFI_BOOT_MODE mBootMode;\r
+\r
+extern BOOLEAN mS3Supported;\r
+\r
 #endif // _PLATFORM_PEI_H_INCLUDED_\r