1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
|
/** @file
X64 Dynamic Table Manager Dxe
Copyright (c) 2024, Arm Limited. All rights reserved.
Copyright (c) 2024 Advanced Micro Devices, Inc. All rights reserved.
SPDX-License-Identifier: BSD-2-Clause-Patent
**/
#include <Library/DebugLib.h>
#include <Library/PcdLib.h>
#include <Library/UefiBootServicesTableLib.h>
#include <Protocol/AcpiSystemDescriptionTable.h>
#include <Protocol/AcpiTable.h>
// Module specific include files.
#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"
///
/// Array containing the ACPI tables to check.
///
STATIC ACPI_TABLE_PRESENCE_INFO mAcpiVerifyTables[] = {
{ EStdAcpiTableIdFadt, EFI_ACPI_6_2_FIXED_ACPI_DESCRIPTION_TABLE_SIGNATURE, "FADT", TRUE, 0 }
};
/** Get the arch specific ACPI table presence information.
@param [out] PresenceArray Array containing the ACPI tables to check.
@param [out] PresenceArrayCount Count of elements in the PresenceArray.
@param [out] FadtIndex Index of the FADT table in the PresenceArray.
-1 if absent.
@retval EFI_SUCCESS Success.
**/
EFI_STATUS
EFIAPI
GetAcpiTablePresenceInfo (
OUT ACPI_TABLE_PRESENCE_INFO **PresenceArray,
OUT UINT32 *PresenceArrayCount,
OUT INT32 *FadtIndex
)
{
*PresenceArray = mAcpiVerifyTables;
*PresenceArrayCount = ARRAY_SIZE (mAcpiVerifyTables);
*FadtIndex = ACPI_TABLE_VERIFY_FADT;
return EFI_SUCCESS;
}
|
