| /** @file | |
| OVMF ACPI Platform Driver | |
| Copyright (c) 2008 - 2012, Intel Corporation. All rights reserved.<BR> | |
| SPDX-License-Identifier: BSD-2-Clause-Patent | |
| **/ | |
| #ifndef ACPI_PLATFORM_H_ | |
| #define ACPI_PLATFORM_H_ | |
| #include <Protocol/AcpiTable.h> // EFI_ACPI_TABLE_PROTOCOL | |
| EFI_STATUS | |
| EFIAPI | |
| InstallCloudHvTablesTdx ( | |
| IN EFI_ACPI_TABLE_PROTOCOL *AcpiProtocol | |
| ); | |
| EFI_STATUS | |
| EFIAPI | |
| InstallCloudHvTables ( | |
| IN EFI_ACPI_TABLE_PROTOCOL *AcpiProtocol | |
| ); | |
| EFI_STATUS | |
| EFIAPI | |
| InstallAcpiTables ( | |
| IN EFI_ACPI_TABLE_PROTOCOL *AcpiTable | |
| ); | |
| #endif |