Reset.h

Go to the documentation of this file.

 
#ifndef __RESET_PPI_H__
#define __RESET_PPI_H__
 
#define EFI_PEI_RESET_PPI_GUID \
  { \
    0xef398d58, 0x9dfd, 0x4103, {0xbf, 0x94, 0x78, 0xc6, 0xf4, 0xfe, 0x71, 0x2f } \
  }
 
//
// EFI_PEI_RESET_PPI.ResetSystem() is equivalent to the
// PEI Service ResetSystem().
// It is introduced in PIPeiCis.h.
//
 
typedef struct {
  EFI_PEI_RESET_SYSTEM    ResetSystem;
} EFI_PEI_RESET_PPI;
 
extern EFI_GUID  gEfiPeiResetPpiGuid;
 
#endif