#error EDK_RELEASE_VERSION can not be zero\r
#endif\r
\r
-\r
#include <Common/UefiBaseTypes.h>\r
#include <Dxe/DxeCis.h>\r
+\r
+#if defined(MDE_CPU_IA32) || defined(MDE_CPU_X64)\r
#include <Dxe/SmmCis.h>\r
+#endif\r
+\r
+#if defined(MDE_CPU_IPF)\r
+#include <SalApi.h>\r
+#endif\r
\r
#include <Common/DataHubRecords.h>\r
#include <Guid/DataHubRecords.h>\r