2 OVMF ACPI Platform Driver for Xen guests
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
10 #include <Library/XenPlatformLib.h> // XenDetected()
12 #include "AcpiPlatform.h"
15 Effective entrypoint of Acpi Platform driver.
21 @return EFI_LOAD_ERROR
22 @return EFI_OUT_OF_RESOURCES
28 IN EFI_ACPI_TABLE_PROTOCOL
*AcpiTable
34 Status
= InstallXenTables (AcpiTable
);
36 Status
= EFI_UNSUPPORTED
;