2 This file defines variable name and GUID to record boot state.
4 Copyright (c) 2006 - 2008, Intel Corporation. <BR>
5 All rights reserved. This program and the accompanying materials
6 are licensed and made available under the terms and conditions of the BSD License
7 which accompanies this distribution. The full text of the license may be found at
8 http://opensource.org/licenses/bsd-license.php
10 THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
11 WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
15 #ifndef __BOOT_STATE_H__
16 #define __BOOT_STATE_H__
22 typedef UINT32 EFI_BOOT_STATE
;
24 #define BOOT_STATE_VARIABLE_NAME L"BootState"
26 #define EFI_BOOT_STATE_VARIABLE_GUID \
27 {0x60b5e939, 0xfcf, 0x4227, {0xba, 0x83, 0x6b, 0xbe, 0xd4, 0x5b, 0xc0, 0xe3} }
29 extern EFI_GUID gEfiBootStateGuid
;