TianoCore EDK2 master
|
#include <Guid/PlatformHasAcpi.h>
#include <Guid/PlatformHasDeviceTree.h>
#include <Library/BaseLib.h>
#include <Library/DebugLib.h>
#include <Library/PcdLib.h>
#include <Library/UefiBootServicesTableLib.h>
Go to the source code of this file.
Functions | |
EFI_STATUS EFIAPI | PlatformHasAcpiDt (IN EFI_HANDLE ImageHandle, IN EFI_SYSTEM_TABLE *SystemTable) |
Decide whether the firmware should expose an ACPI- and/or a Device Tree-based hardware description to the operating system.
Copyright (c) 2021, Arm Limited. All rights reserved.
SPDX-License-Identifier: BSD-2-Clause-Patent
Definition in file CloudHvHasAcpiDtDxe.c.
EFI_STATUS EFIAPI PlatformHasAcpiDt | ( | IN EFI_HANDLE | ImageHandle, |
IN EFI_SYSTEM_TABLE * | SystemTable | ||
) |
Entry point for the Cloud Hypervisor PlatformHasAcpiDtDxe.
[in] | ImageHandle | Handle for this image. |
[in] | SystemTable | Pointer to the EFI system table. |
Definition at line 30 of file CloudHvHasAcpiDtDxe.c.