Make MDE package pass intel IPF compiler with /W4 /WX switched on.

[mirror_edk2.git] / MdePkg / Library / PeiServicesTablePointerLibKr1 / PeiServicesTablePointer.c

diff --git a/MdePkg/Library/PeiServicesTablePointerLibKr1/PeiServicesTablePointer.c b/MdePkg/Library/PeiServicesTablePointerLibKr1/PeiServicesTablePointer.c
index 474748d332d8df1eb7f786f2dd0f4054a218f951..aea35ef0343a92b0c3e0e317f4fff232cb1f47ec 100644 (file)
--- a/MdePkg/Library/PeiServicesTablePointerLibKr1/PeiServicesTablePointer.c
+++ b/MdePkg/Library/PeiServicesTablePointerLibKr1/PeiServicesTablePointer.c
@@ -20,30 +20,7 @@ Abstract:
   \r
 --*/\r
 \r
-\r
-/**\r
-  Reads the current value of Kr1.\r
-\r
-  @return The current value of Kr1.\r
-\r
-**/\r
-UINT64\r
-EFIAPI\r
-AsmReadKr1 (\r
-  VOID\r
-  );\r
-\r
-/**\r
-  Writes the current value of Kr1.\r
-\r
-  @param  Value The 64-bit value to write to Kr1.\r
-\r
-**/\r
-VOID\r
-EFIAPI\r
-AsmWriteKr1 (\r
-  IN      UINT64                    Value\r
-  );\r
+#include "PeiServicesTablePointerLibInternals.h"\r
 \r
 /**\r
   The function returns the pointer to PeiServices.\r