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