TianoCore EDK2 master
|
#include <Library/DebugLib.h>
#include <Library/PcdLib.h>
#include <Library/UefiBootServicesTableLib.h>
#include <Protocol/AcpiSystemDescriptionTable.h>
#include <Protocol/AcpiTable.h>
#include <AcpiTableGenerator.h>
#include <ConfigurationManagerObject.h>
#include <ConfigurationManagerHelper.h>
#include <DeviceTreeTableGenerator.h>
#include <Library/TableHelperLib.h>
#include <Protocol/ConfigurationManagerProtocol.h>
#include <Protocol/DynamicTableFactoryProtocol.h>
#include "DynamicTableManagerDxe.h"
Go to the source code of this file.
Functions | |
EFI_STATUS EFIAPI | GetAcpiTablePresenceInfo (OUT ACPI_TABLE_PRESENCE_INFO **PresenceArray, OUT UINT32 *PresenceArrayCount, OUT INT32 *FadtIndex) |
Variables | |
STATIC ACPI_TABLE_PRESENCE_INFO | mAcpiVerifyTables [] |
ARM Dynamic Table Manager Dxe
Copyright (c) 2017 - 2019, ARM Limited. All rights reserved.
SPDX-License-Identifier: BSD-2-Clause-Patent
Definition in file ArmDynamicTableManager.c.
EFI_STATUS EFIAPI GetAcpiTablePresenceInfo | ( | OUT ACPI_TABLE_PRESENCE_INFO ** | PresenceArray, |
OUT UINT32 * | PresenceArrayCount, | ||
OUT INT32 * | FadtIndex | ||
) |
Get the arch specific ACPI table presence information.
[out] | PresenceArray | Array containing the ACPI tables to check. |
[out] | PresenceArrayCount | Count of elements in the PresenceArray. |
[out] | FadtIndex | Index of the FADT table in the PresenceArray. -1 if absent. |
EFI_SUCCESS | Success. |
Definition at line 52 of file ArmDynamicTableManager.c.
STATIC ACPI_TABLE_PRESENCE_INFO mAcpiVerifyTables[] |
Array containing the ACPI tables to check. We require the FADT, MADT, GTDT and the DSDT tables to boot. This list also include optional ACPI tables: DBG2, SPCR. The FADT table must be placed at index 0.
Definition at line 32 of file ArmDynamicTableManager.c.