XenPlatformHasAcpiDtDxe.c File Reference

#include <Guid/PlatformHasAcpi.h>
#include <Guid/PlatformHasDeviceTree.h>
#include <Library/BaseLib.h>
#include <Library/DebugLib.h>
#include <Library/UefiBootServicesTableLib.h>

Go to the source code of this file.

Functions
EFI_STATUS EFIAPI	XenPlatformHasAcpiDt (IN EFI_HANDLE ImageHandle, IN EFI_SYSTEM_TABLE *SystemTable)

Detailed Description

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 XenPlatformHasAcpiDtDxe.c.

Function Documentation

XenPlatformHasAcpiDt()

EFI_STATUS EFIAPI XenPlatformHasAcpiDt	(	IN EFI_HANDLE	ImageHandle,
		IN EFI_SYSTEM_TABLE *	SystemTable
	)

Definition at line 18 of file XenPlatformHasAcpiDtDxe.c.