1 files changed, 54 insertions, 0 deletions
diff --git a/EDK/Foundation/Framework/Ppi/Reset/Reset.h b/EDK/Foundation/Framework/Ppi/Reset/Reset.h
new file mode 100644
index 0000000..8239b42
--- /dev/null
+++ b/EDK/Foundation/Framework/Ppi/Reset/Reset.h
@@ -0,0 +1,54 @@
+/*++
+
+Copyright (c) 2004, Intel Corporation                                                         
+All rights reserved. This program and the accompanying materials                          
+are licensed and made available under the terms and conditions of the BSD License         
+which accompanies this distribution.  The full text of the license may be found at        
+http://opensource.org/licenses/bsd-license.php                                            
+                                                                                          
+THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,                     
+WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.             
+
+Module Name:
+
+  Reset.h
+
+Abstract:
+
+  Reset PPI as defined in Tiano
+
+  Used to reset the platform from PEI
+
+--*/
+
+#ifndef _PEI_RESET_H_
+#define _PEI_RESET_H_
+
+#define PEI_RESET_PPI_GUID \
+  { \
+    0xef398d58, 0x9dfd, 0x4103, 0xbf, 0x94, 0x78, 0xc6, 0xf4, 0xfe, 0x71, 0x2f \
+  }
+
+//
+// *******************************************************
+// PEI_RESET_TYPE
+// *******************************************************
+//
+typedef enum {
+  PeiResetCold,
+  PeiResetWarm,
+} PEI_RESET_TYPE;
+
+typedef
+EFI_STATUS
+(EFIAPI *EFI_PEI_RESET_SYSTEM) (
+  IN EFI_PEI_SERVICES   **PeiServices
+  );
+
+typedef struct {
+  EFI_PEI_RESET_SYSTEM  ResetSystem;
+} PEI_RESET_PPI;
+
+extern EFI_GUID gPeiResetPpiGuid;
+
+#endif