EdkCompatibilityPkg/Foundation/Framework/Ppi/Reset/Reset.h

   1 /*++
   2
   3 Copyright (c) 2004, Intel Corporation
   4 All rights reserved. This program and the accompanying materials
   5 are licensed and made available under the terms and conditions of the BSD License
   6 which accompanies this distribution.  The full text of the license may be found at
   7 http://opensource.org/licenses/bsd-license.php
   8
   9 THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
  10 WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
  11
  12 Module Name:
  13
  14   Reset.h
  15
  16 Abstract:
  17
  18   Reset PPI as defined in Tiano
  19
  20   Used to reset the platform from PEI
  21
  22 --*/
  23
  24 #ifndef _PEI_RESET_H_
  25 #define _PEI_RESET_H_
  26
  27 #define PEI_RESET_PPI_GUID \
  28   { \
  29     0xef398d58, 0x9dfd, 0x4103, 0xbf, 0x94, 0x78, 0xc6, 0xf4, 0xfe, 0x71, 0x2f \
  30   }
  31
  32 //
  33 // *******************************************************
  34 // PEI_RESET_TYPE
  35 // *******************************************************
  36 //
  37 typedef enum {
  38   PeiResetCold,
  39   PeiResetWarm,
  40 } PEI_RESET_TYPE;
  41
  42 typedef
  43 EFI_STATUS
  44 (EFIAPI *PEI_RESET_PPI_RESET_SYSTEM) (
  45   IN EFI_PEI_SERVICES   **PeiServices
  46   );
  47
  48 typedef struct {
  49   PEI_RESET_PPI_RESET_SYSTEM  ResetSystem;
  50 } PEI_RESET_PPI;
  51
  52 extern EFI_GUID gPeiResetPpiGuid;
  53
  54 #endif