2 Entry point of OVMF ACPI Platform Driver for Xen guests
4 Copyright (C) 2015-2021, Red Hat, Inc.
5 Copyright (c) 2008 - 2015, Intel Corporation. All rights reserved.<BR>
7 SPDX-License-Identifier: BSD-2-Clause-Patent
10 #include <Library/DebugLib.h> // ASSERT_EFI_ERROR()
11 #include <Library/UefiBootServicesTableLib.h> // gBS
12 #include <Protocol/AcpiTable.h> // EFI_ACPI_TABLE_PROTOCOL
14 #include "AcpiPlatform.h"
17 EFI_ACPI_TABLE_PROTOCOL
*
18 FindAcpiTableProtocol (
23 EFI_ACPI_TABLE_PROTOCOL
*AcpiTable
;
25 Status
= gBS
->LocateProtocol (
26 &gEfiAcpiTableProtocolGuid
,
30 ASSERT_EFI_ERROR (Status
);
36 AcpiPlatformEntryPoint (
37 IN EFI_HANDLE ImageHandle
,
38 IN EFI_SYSTEM_TABLE
*SystemTable
41 return InstallAcpiTables (FindAcpiTableProtocol ());