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
