| /** @file | |
| EDKII Platform Has ACPI GUID | |
| A NULL protocol instance with this GUID in the DXE protocol database, and/or | |
| a NULL PPI with this GUID in the PPI database, implies that the platform | |
| provides the operating system with an ACPI-based hardware description. Note | |
| that this is not necessarily exclusive with different kinds of hardware | |
| description (for example, a Device Tree-based one). A platform driver and/or | |
| PEIM is supposed to produce a single instance of the protocol and/or PPI | |
| (with NULL contents), if appropriate. | |
| Copyright (C) 2017, Red Hat, Inc. | |
| SPDX-License-Identifier: BSD-2-Clause-Patent | |
| **/ | |
| #ifndef __EDKII_PLATFORM_HAS_ACPI_H__ | |
| #define __EDKII_PLATFORM_HAS_ACPI_H__ | |
| #define EDKII_PLATFORM_HAS_ACPI_GUID \ | |
| { \ | |
| 0xf0966b41, 0xc23f, 0x41b9, \ | |
| { 0x96, 0x04, 0x0f, 0xf7, 0xe1, 0x11, 0x96, 0x5a } \ | |
| } | |
| extern EFI_GUID gEdkiiPlatformHasAcpiGuid; | |
| #endif |