OvmfPkg/XenAcpiPlatformDxe/AcpiPlatform.h

   1 /** @file
   2   OVMF ACPI Platform Driver for Xen guests
   3
   4   Copyright (C) 2021, Red Hat, Inc.
   5   Copyright (c) 2008 - 2012, Intel Corporation. All rights reserved.<BR>
   6   SPDX-License-Identifier: BSD-2-Clause-Patent
   7
   8 **/
   9
  10 #ifndef ACPI_PLATFORM_H_
  11 #define ACPI_PLATFORM_H_
  12
  13 #include <Protocol/AcpiTable.h> // EFI_ACPI_TABLE_PROTOCOL
  14
  15 EFI_STATUS
  16 EFIAPI
  17 InstallAcpiTable (
  18   IN   EFI_ACPI_TABLE_PROTOCOL       *AcpiProtocol,
  19   IN   VOID                          *AcpiTableBuffer,
  20   IN   UINTN                         AcpiTableBufferSize,
  21   OUT  UINTN                         *TableKey
  22   );
  23
  24 EFI_STATUS
  25 EFIAPI
  26 InstallXenTables (
  27   IN   EFI_ACPI_TABLE_PROTOCOL       *AcpiProtocol
  28   );
  29
  30 EFI_STATUS
  31 EFIAPI
  32 InstallAcpiTables (
  33   IN   EFI_ACPI_TABLE_PROTOCOL       *AcpiTable
  34   );
  35
  36 #endif
  37