boot/efi: Bring in a bunch of additional TianoCore EDK II headers.
[dragonfly.git] / sys / contrib / edk2 / Include / Guid / DxeServices.h
blobbe2b5b3e96d0f96683f3e22d018865bdfc668de0
1 /** @file
2 GUID used to identify the DXE Services Table
4 Copyright (c) 2006 - 2009, Intel Corporation. All rights reserved.<BR>
5 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.
13 @par Revision Reference:
14 GUID introduced in PI Version 1.0.
16 **/
18 #ifndef __DXE_SERVICES_GUID_H__
19 #define __DXE_SERVICES_GUID_H__
21 #define DXE_SERVICES_TABLE_GUID \
22 { \
23 0x5ad34ba, 0x6f02, 0x4214, {0x95, 0x2e, 0x4d, 0xa0, 0x39, 0x8e, 0x2b, 0xb9 } \
26 extern EFI_GUID gEfiDxeServicesTableGuid;
28 #endif