| /** @file | |
| GUIDs used for MPS entries in the UEFI 2.0 system table | |
| ACPI is the primary means of exporting MPS information to the OS. MPS only was | |
| included to support Itanium-based platform power on. So don't use it if you don't have too. | |
| Copyright (c) 2006 - 2018, Intel Corporation. All rights reserved.<BR> | |
| SPDX-License-Identifier: BSD-2-Clause-Patent | |
| @par Revision Reference: | |
| GUIDs defined in UEFI 2.0 spec. | |
| **/ | |
| #ifndef __MPS_GUID_H__ | |
| #define __MPS_GUID_H__ | |
| #define EFI_MPS_TABLE_GUID \ | |
| { \ | |
| 0xeb9d2d2f, 0x2d88, 0x11d3, {0x9a, 0x16, 0x0, 0x90, 0x27, 0x3f, 0xc1, 0x4d } \ | |
| } | |
| // | |
| // GUID name defined in spec. | |
| // | |
| #define MPS_TABLE_GUID EFI_MPS_TABLE_GUID | |
| extern EFI_GUID gEfiMpsTableGuid; | |
| #endif |