34 lines
1.2 KiB
C
34 lines
1.2 KiB
C
/** @file
|
|
The definition of H2O board identifier set PPI.
|
|
|
|
;******************************************************************************
|
|
;* Copyright (c) 2016, Insyde Software Corp. All Rights Reserved.
|
|
;*
|
|
;* You may not reproduce, distribute, publish, display, perform, modify, adapt,
|
|
;* transmit, broadcast, present, recite, release, license or otherwise exploit
|
|
;* any part of this publication in any form, by any means, without the prior
|
|
;* written permission of Insyde Software Corporation.
|
|
;*
|
|
;******************************************************************************
|
|
*/
|
|
|
|
#ifndef _H2O_BOARD_ID_SET_PPI_H_
|
|
#define _H2O_BOARD_ID_SET_PPI_H_
|
|
|
|
#define H2O_BOARD_ID_SET_PPI_GUID \
|
|
{ \
|
|
0xcd196962, 0x2e90, 0x4b9c, { 0x91, 0xc1, 0x35, 0x43, 0xea, 0xe0, 0x08, 0x7f } \
|
|
}
|
|
|
|
#define H2O_BOARD_ID_DEPEX_PPI_GUID \
|
|
{ \
|
|
0xfce1829c, 0x9919, 0x11e9, { 0xa2, 0xa3, 0x2a, 0x2a, 0xe2, 0xdb, 0xcc, 0xe3 } \
|
|
}
|
|
// One of these PPis is installed immediately after the board identifier has been set.
|
|
// There are actually 256 board identifiers, replacing the 00 in the GUID above, immediately before the XX.
|
|
|
|
extern EFI_GUID gH2OBoardIdSetPpiGuid;
|
|
extern EFI_GUID gH2OBoardIdDepexPpiGuid;
|
|
|
|
#endif
|