4cb43192bd
EfiBind.h: * Adding ignores for certain warnings with the Intel C compiler. (Partially merged from MdePkg.) EfiPxe.h: * Make sure PXE_NO_UINT64_SUPPORT is defined Decompress.c: * Removed 'unreachable' return statement. EdkCompatibilityPkg/**: (all other files) * Remove trailing comma from last value in enum. * Include <EfiBind.h> instead of "EfiBind.h", or for some reason __STDC_VERSION__ is not defined. * Introduce more explicit function call ordering by storing results in local variables before using in a calculation. * Add some additional casting for BOOLEAN & UINT8 following calculations which change the type to 'int'. git-svn-id: https://edk2.svn.sourceforge.net/svnroot/edk2/trunk/edk2@5123 6f19259b-4bc3-4df7-8a09-765794883524
55 lines
1.5 KiB
C
55 lines
1.5 KiB
C
/*++
|
|
|
|
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 *PEI_RESET_PPI_RESET_SYSTEM) (
|
|
IN EFI_PEI_SERVICES **PeiServices
|
|
);
|
|
|
|
typedef struct {
|
|
PEI_RESET_PPI_RESET_SYSTEM ResetSystem;
|
|
} PEI_RESET_PPI;
|
|
|
|
extern EFI_GUID gPeiResetPpiGuid;
|
|
|
|
#endif
|