1 /*++
2 
3 Copyright (c) 2004 - 2005, Intel Corporation. All rights reserved.<BR>
4 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   BootState.h
15 
16 Abstract:
17 
18   Constants and declarations that are common accross PEI and DXE.
19 --*/
20 
21 #ifndef _BOOT_STATE_H_
22 #define _BOOT_STATE_H_
23 
24 #include "Tiano.h"
25 
26 //
27 // BOOT STATE
28 //
29 
30 typedef UINT32 EFI_BOOT_STATE;
31 
32 #define BOOT_STATE_VARIABLE_NAME  L"BootState"
33 
34 #define  EFI_BOOT_STATE_VARIABLE_GUID  \
35   {0x60b5e939, 0xfcf, 0x4227, {0xba, 0x83, 0x6b, 0xbe, 0xd4, 0x5b, 0xc0, 0xe3}}
36 
37 extern EFI_GUID gEfiBootStateGuid;
38 #endif
39