Fix an issue in page allocation.

[mirror_edk2.git] / MdePkg / Include / DxeCore.h

diff --git a/MdePkg/Include/DxeCore.h b/MdePkg/Include/DxeCore.h
index f4f57f5d4fa913961ebc7767fd078ddbc3991401..fde616813154c2131bca67ab492ea780df1c1dea 100644 (file)
--- a/MdePkg/Include/DxeCore.h
+++ b/MdePkg/Include/DxeCore.h
@@ -40,9 +40,11 @@ WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
   #error EDK_RELEASE_VERSION can not be zero\r
 #endif\r
 \r
-\r
-\r
 #include <Common/UefiBaseTypes.h>\r
 #include <Dxe/DxeCis.h>\r
 \r
+#if defined(MDE_CPU_IPF)\r
+#include <SalApi.h>\r
+#endif\r
+\r
 #endif\r