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/QemuFwCfgLib.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) 2017, Red Hat, Inc.
SPDX-License-Identifier: BSD-2-Clause-Patent
Definition in file PlatformHasAcpiDtDxe.c.
EFI_STATUS EFIAPI PlatformHasAcpiDt | ( | IN EFI_HANDLE | ImageHandle, |
IN EFI_SYSTEM_TABLE * | SystemTable | ||
) |
Definition at line 20 of file PlatformHasAcpiDtDxe.c.