boot/efi: Bring in a bunch of additional TianoCore EDK II headers.
[dragonfly.git] / sys / contrib / edk2 / Include / Guid / Mps.h
blob4d4692e3be22e228f703b9b9e90f243d2b4421cf
1 /** @file
2 GUIDs used for MPS entries in the UEFI 2.0 system table
3 ACPI is the primary means of exporting MPS information to the OS. MPS only was
4 included to support Itanium-based platform power on. So don't use it if you don't have too.
6 Copyright (c) 2006, Intel Corporation. All rights reserved.<BR>
7 This program and the accompanying materials
8 are licensed and made available under the terms and conditions of the BSD License
9 which accompanies this distribution. The full text of the license may be found at
10 http://opensource.org/licenses/bsd-license.php
12 THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
13 WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
15 @par Revision Reference:
16 GUIDs defined in UEFI 2.0 spec.
18 **/
20 #ifndef __MPS_GUID_H__
21 #define __MPS_GUID_H__
23 #define EFI_MPS_TABLE_GUID \
24 { \
25 0xeb9d2d2f, 0x2d88, 0x11d3, {0x9a, 0x16, 0x0, 0x90, 0x27, 0x3f, 0xc1, 0x4d } \
29 // GUID name defined in spec.
31 #define MPS_TABLE_GUID EFI_MPS_TABLE_GUID
33 extern EFI_GUID gEfiMpsTableGuid;
35 #endif