#ifndef __INTERNAL_PEI_SERVICES_TABLE_POINTER_H__\r
#define __INTERNAL_PEI_SERVICES_TABLE_POINTER_H__\r
\r
+\r
+#include <PiPei.h>\r
+\r
+#include <Library/PeiServicesTablePointerLib.h>\r
+#include <Library/DebugLib.h>\r
+\r
extern \r
EFI_PEI_SERVICES **\r
EFIAPI\r
);\r
\r
\r
-#endif
\ No newline at end of file
+#endif\r