MdePkg/Include/Ppi/Reset.h

   1 /** @file
   2   This file declares Reset PPI used to reset the platform
   3
   4   Copyright (c) 2006, Intel Corporation
   5   All rights reserved. This program and the accompanying materials
   6   are licensed and made available under the terms and conditions of the BSD License
   7   which accompanies this distribution.  The full text of the license may be found at
   8   http://opensource.org/licenses/bsd-license.php
   9
  10   THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
  11   WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
  12
  13   Module Name:  Reset.h
  14
  15   @par Revision Reference:
  16   This PPI is defined in PEI CIS
  17   Version 0.91.
  18
  19 **/
  20
  21 #ifndef __RESET_PPI_H__
  22 #define __RESET_PPI_H__
  23
  24 #define EFI_PEI_RESET_PPI_GUID \
  25   { \
  26     0xef398d58, 0x9dfd, 0x4103, {0xbf, 0x94, 0x78, 0xc6, 0xf4, 0xfe, 0x71, 0x2f } \
  27   }
  28
  29 typedef struct {
  30   EFI_PEI_RESET_SYSTEM  ResetSystem;
  31 } EFI_PEI_RESET_PPI;
  32
  33 extern EFI_GUID gEfiPeiResetPpiGuid;
  34
  35 #endif