boot/efi: Sync our TianoCore EDK II headers with the edk2-stable201908 tag.
[dragonfly.git] / sys / contrib / edk2 / Include / Guid / DxeServices.h
1 /** @file
2   GUID used to identify the DXE Services Table
3
4   Copyright (c) 2006 - 2018, Intel Corporation. All rights reserved.<BR>
5   SPDX-License-Identifier: BSD-2-Clause-Patent
6
7   @par Revision Reference:
8   GUID introduced in PI Version 1.0.
9
10 **/
11
12 #ifndef __DXE_SERVICES_GUID_H__
13 #define __DXE_SERVICES_GUID_H__
14
15 #define DXE_SERVICES_TABLE_GUID \
16   { \
17     0x5ad34ba, 0x6f02, 0x4214, {0x95, 0x2e, 0x4d, 0xa0, 0x39, 0x8e, 0x2b, 0xb9 } \
18   }
19
20 extern EFI_GUID gEfiDxeServicesTableGuid;
21
22 #endif