1 /** @file
2   GUID is the name of events used with ExitBootServices in order to be notified
3   when this ExitBootServices Call is failed.
4 
5   Copyright (c) 2012, Intel Corporation. All rights reserved.<BR>
6   This program and the accompanying materials
7   are licensed and made available under the terms and conditions of the BSD License
8   which accompanies this distribution.  The full text of the license may be found at
9   http://opensource.org/licenses/bsd-license.php
10 
11   THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
12   WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
13 
14 **/
15 
16 #ifndef __EVENT_EXIT_BOOT_FAILED_GUID_H__
17 #define __EVENT_EXIT_BOOT_FAILED_GUID_H__
18 
19 #define EVENT_GROUP_EXIT_BOOT_SERVICES_FAILED \
20   { 0x4f6c5507, 0x232f, 0x4787, { 0xb9, 0x5e, 0x72, 0xf8, 0x62, 0x49, 0xc, 0xb1 } }
21 
22 extern EFI_GUID gEventExitBootServicesFailedGuid;
23 
24 #endif
25