0xef398d58, 0x9dfd, 0x4103, {0xbf, 0x94, 0x78, 0xc6, 0xf4, 0xfe, 0x71, 0x2f } \\r
}\r
\r
-/**\r
- @par Ppi Description:\r
- This PPI provides provide a simple reset service. \r
-\r
- @param ResetSystem\r
- A service to reset the entire platform.\r
-\r
-**/\r
+//\r
+// EFI_PEI_RESET_PPI.ResetSystem() is equivalent to the\r
+// PEI Service ResetSystem().\r
+// It is defined in PiPeiCis.h. \r
+//\r
+\r
+///\r
+/// This PPI provides provide a simple reset service. \r
+///\r
typedef struct {\r
+ ///\r
+ /// A service to reset the entire platform.\r
+ /// This function is defined in PiPeicis.h.\r
+ ///\r
EFI_PEI_RESET_SYSTEM ResetSystem;\r
} EFI_PEI_RESET_PPI;\r
\r