|
@@ -1,18 +1,24 @@
|
|
|
/** @file
|
|
|
-* Multiple APIC Description Table (MADT)
|
|
|
-*
|
|
|
-* Copyright (c) 2018-2020, ARM Limited. All rights reserved.
|
|
|
-*
|
|
|
-* SPDX-License-Identifier: BSD-2-Clause-Patent
|
|
|
-*
|
|
|
+ Multiple APIC Description Table (MADT)
|
|
|
+
|
|
|
+ The MADT table provides OSPM with information necessary for operation on
|
|
|
+ systems with Generic interrupt controller (GIC). The information about the GIC
|
|
|
+ CPU interface, redistributor, distributor and ITS blocks on the Rd-E1-Edge
|
|
|
+ platform is included in this table.
|
|
|
+
|
|
|
+ Copyright (c) 2018 - 2022, Arm Limited. All rights reserved.
|
|
|
+
|
|
|
+ SPDX-License-Identifier: BSD-2-Clause-Patent
|
|
|
+
|
|
|
+ @par Specification Reference:
|
|
|
+ - ACPI 6.4, Chapter 5, Section 5.2.12, Multiple APIC Description Table
|
|
|
**/
|
|
|
|
|
|
-#include "SgiPlatform.h"
|
|
|
-#include "SgiAcpiHeader.h"
|
|
|
#include <Library/AcpiLib.h>
|
|
|
#include <Library/ArmLib.h>
|
|
|
#include <Library/PcdLib.h>
|
|
|
-#include <IndustryStandard/Acpi.h>
|
|
|
+#include "SgiAcpiHeader.h"
|
|
|
+#include "SgiPlatform.h"
|
|
|
|
|
|
#define CORE_CNT (FixedPcdGet32 (PcdClusterCount) * \
|
|
|
FixedPcdGet32 (PcdCoreCount))
|
|
@@ -21,173 +27,174 @@
|
|
|
#pragma pack (1)
|
|
|
|
|
|
typedef struct {
|
|
|
- EFI_ACPI_6_2_MULTIPLE_APIC_DESCRIPTION_TABLE_HEADER Header;
|
|
|
- EFI_ACPI_6_2_GIC_STRUCTURE GicInterfaces[CORE_CNT];
|
|
|
- EFI_ACPI_6_2_GIC_DISTRIBUTOR_STRUCTURE GicDistributor;
|
|
|
- EFI_ACPI_6_2_GICR_STRUCTURE GicRedistributor;
|
|
|
- EFI_ACPI_6_2_GIC_ITS_STRUCTURE GicIts;
|
|
|
-} EFI_ACPI_6_2_MULTIPLE_APIC_DESCRIPTION_TABLE;
|
|
|
+ EFI_ACPI_6_4_MULTIPLE_APIC_DESCRIPTION_TABLE_HEADER Header;
|
|
|
+ EFI_ACPI_6_4_GIC_STRUCTURE GicInterfaces[CORE_CNT];
|
|
|
+ EFI_ACPI_6_4_GIC_DISTRIBUTOR_STRUCTURE GicDistributor;
|
|
|
+ EFI_ACPI_6_4_GICR_STRUCTURE GicRedistributor;
|
|
|
+ EFI_ACPI_6_4_GIC_ITS_STRUCTURE GicIts;
|
|
|
+} EFI_ACPI_6_4_MULTIPLE_APIC_DESCRIPTION_TABLE;
|
|
|
|
|
|
#pragma pack ()
|
|
|
|
|
|
-STATIC EFI_ACPI_6_2_MULTIPLE_APIC_DESCRIPTION_TABLE Madt = {
|
|
|
+STATIC EFI_ACPI_6_4_MULTIPLE_APIC_DESCRIPTION_TABLE Madt = {
|
|
|
{
|
|
|
ARM_ACPI_HEADER (
|
|
|
- EFI_ACPI_6_2_MULTIPLE_APIC_DESCRIPTION_TABLE_SIGNATURE,
|
|
|
- EFI_ACPI_6_2_MULTIPLE_APIC_DESCRIPTION_TABLE,
|
|
|
- EFI_ACPI_6_2_MULTIPLE_APIC_DESCRIPTION_TABLE_REVISION
|
|
|
+ EFI_ACPI_6_4_MULTIPLE_APIC_DESCRIPTION_TABLE_SIGNATURE,
|
|
|
+ EFI_ACPI_6_4_MULTIPLE_APIC_DESCRIPTION_TABLE,
|
|
|
+ EFI_ACPI_6_4_MULTIPLE_APIC_DESCRIPTION_TABLE_REVISION
|
|
|
),
|
|
|
// MADT specific fields
|
|
|
0, // LocalApicAddress
|
|
|
0 // Flags
|
|
|
},
|
|
|
{
|
|
|
- // Format: EFI_ACPI_6_2_GICC_STRUCTURE_INIT(GicId, AcpiCpuUid, Mpidr, Flags,
|
|
|
+ // Format: EFI_ACPI_6_4_GICC_STRUCTURE_INIT(GicId, AcpiCpuUid, Mpidr, Flags,
|
|
|
// PmuIrq, GicBase, GicVBase,
|
|
|
// GicHBase, GsivId, GicRBase,
|
|
|
- // Efficiency)
|
|
|
+ // Efficiency,
|
|
|
+ // SpeOverflowInterrupt)
|
|
|
// Note: The GIC Structure of the primary CPU must be the first entry
|
|
|
// (see note in 5.2.12.14 GICC Structure of ACPI v6.2).
|
|
|
- EFI_ACPI_6_2_GICC_STRUCTURE_INIT( // Core-0 Thread-0
|
|
|
- 0, 0, GET_MPID(0x0, 0x0), EFI_ACPI_6_2_GIC_ENABLED, 23,
|
|
|
+ EFI_ACPI_6_4_GICC_STRUCTURE_INIT( // Core-0 Thread-0
|
|
|
+ 0, 0, GET_MPID(0x0, 0x0), EFI_ACPI_6_4_GIC_ENABLED, 23,
|
|
|
FixedPcdGet32 (PcdGicDistributorBase),
|
|
|
- 0x2c020000, 0x2c010000, 25, 0 /* GicRBase */, 0 /* Efficiency */),
|
|
|
- EFI_ACPI_6_2_GICC_STRUCTURE_INIT( // Core-1 Thread-1
|
|
|
- 0, 1, GET_MPID(0x0, 0x1), EFI_ACPI_6_2_GIC_ENABLED, 23,
|
|
|
+ 0x2c020000, 0x2c010000, 25, 0, 0, 0),
|
|
|
+ EFI_ACPI_6_4_GICC_STRUCTURE_INIT( // Core-1 Thread-1
|
|
|
+ 0, 1, GET_MPID(0x0, 0x1), EFI_ACPI_6_4_GIC_ENABLED, 23,
|
|
|
FixedPcdGet32 (PcdGicDistributorBase),
|
|
|
- 0x2c020000, 0x2c010000, 25, 0 /* GicRBase */, 0 /* Efficiency */),
|
|
|
- EFI_ACPI_6_2_GICC_STRUCTURE_INIT( // Core-1 Thread-0
|
|
|
- 0, 2, GET_MPID(0x0, 0x100), EFI_ACPI_6_2_GIC_ENABLED, 23,
|
|
|
+ 0x2c020000, 0x2c010000, 25, 0, 0, 0),
|
|
|
+ EFI_ACPI_6_4_GICC_STRUCTURE_INIT( // Core-1 Thread-0
|
|
|
+ 0, 2, GET_MPID(0x0, 0x100), EFI_ACPI_6_4_GIC_ENABLED, 23,
|
|
|
FixedPcdGet32 (PcdGicDistributorBase),
|
|
|
- 0x2c020000, 0x2c010000, 25, 0 /* GicRBase */, 0 /* Efficiency */),
|
|
|
- EFI_ACPI_6_2_GICC_STRUCTURE_INIT( // Core-1 Thread-1
|
|
|
- 0, 3, GET_MPID(0x0, 0x101), EFI_ACPI_6_2_GIC_ENABLED, 23,
|
|
|
+ 0x2c020000, 0x2c010000, 25, 0, 0, 0),
|
|
|
+ EFI_ACPI_6_4_GICC_STRUCTURE_INIT( // Core-1 Thread-1
|
|
|
+ 0, 3, GET_MPID(0x0, 0x101), EFI_ACPI_6_4_GIC_ENABLED, 23,
|
|
|
FixedPcdGet32 (PcdGicDistributorBase),
|
|
|
- 0x2c020000, 0x2c010000, 25, 0 /* GicRBase */, 0 /* Efficiency */),
|
|
|
- EFI_ACPI_6_2_GICC_STRUCTURE_INIT( // Core-2 Thread-0
|
|
|
- 0, 4, GET_MPID(0x0, 0x200), EFI_ACPI_6_2_GIC_ENABLED, 23,
|
|
|
+ 0x2c020000, 0x2c010000, 25, 0, 0, 0),
|
|
|
+ EFI_ACPI_6_4_GICC_STRUCTURE_INIT( // Core-2 Thread-0
|
|
|
+ 0, 4, GET_MPID(0x0, 0x200), EFI_ACPI_6_4_GIC_ENABLED, 23,
|
|
|
FixedPcdGet32 (PcdGicDistributorBase),
|
|
|
- 0x2c020000, 0x2c010000, 25, 0 /* GicRBase */, 0 /* Efficiency */),
|
|
|
- EFI_ACPI_6_2_GICC_STRUCTURE_INIT( // Core-2 Thread-1
|
|
|
- 0, 5, GET_MPID(0x0, 0x201), EFI_ACPI_6_2_GIC_ENABLED, 23,
|
|
|
+ 0x2c020000, 0x2c010000, 25, 0, 0, 0),
|
|
|
+ EFI_ACPI_6_4_GICC_STRUCTURE_INIT( // Core-2 Thread-1
|
|
|
+ 0, 5, GET_MPID(0x0, 0x201), EFI_ACPI_6_4_GIC_ENABLED, 23,
|
|
|
FixedPcdGet32 (PcdGicDistributorBase),
|
|
|
- 0x2c020000, 0x2c010000, 25, 0 /* GicRBase */, 0 /* Efficiency */),
|
|
|
- EFI_ACPI_6_2_GICC_STRUCTURE_INIT( // Core-3 Thread-0
|
|
|
- 0, 6, GET_MPID(0x0, 0x300), EFI_ACPI_6_2_GIC_ENABLED, 23,
|
|
|
+ 0x2c020000, 0x2c010000, 25, 0, 0, 0),
|
|
|
+ EFI_ACPI_6_4_GICC_STRUCTURE_INIT( // Core-3 Thread-0
|
|
|
+ 0, 6, GET_MPID(0x0, 0x300), EFI_ACPI_6_4_GIC_ENABLED, 23,
|
|
|
FixedPcdGet32 (PcdGicDistributorBase),
|
|
|
- 0x2c020000, 0x2c010000, 25, 0 /* GicRBase */, 0 /* Efficiency */),
|
|
|
- EFI_ACPI_6_2_GICC_STRUCTURE_INIT( // Core-3 Thread-1
|
|
|
- 0, 7, GET_MPID(0x0, 0x301), EFI_ACPI_6_2_GIC_ENABLED, 23,
|
|
|
+ 0x2c020000, 0x2c010000, 25, 0, 0, 0),
|
|
|
+ EFI_ACPI_6_4_GICC_STRUCTURE_INIT( // Core-3 Thread-1
|
|
|
+ 0, 7, GET_MPID(0x0, 0x301), EFI_ACPI_6_4_GIC_ENABLED, 23,
|
|
|
FixedPcdGet32 (PcdGicDistributorBase),
|
|
|
- 0x2c020000, 0x2c010000, 25, 0 /* GicRBase */, 0 /* Efficiency */),
|
|
|
+ 0x2c020000, 0x2c010000, 25, 0, 0, 0),
|
|
|
|
|
|
- EFI_ACPI_6_2_GICC_STRUCTURE_INIT( // Core-4 Thread-0
|
|
|
- 0, 8, GET_MPID(0x0, 0x400), EFI_ACPI_6_2_GIC_ENABLED, 23,
|
|
|
+ EFI_ACPI_6_4_GICC_STRUCTURE_INIT( // Core-4 Thread-0
|
|
|
+ 0, 8, GET_MPID(0x0, 0x400), EFI_ACPI_6_4_GIC_ENABLED, 23,
|
|
|
FixedPcdGet32 (PcdGicDistributorBase),
|
|
|
- 0x2c020000, 0x2c010000, 25, 0 /* GicRBase */, 0 /* Efficiency */),
|
|
|
- EFI_ACPI_6_2_GICC_STRUCTURE_INIT( // Core-4 Thread-1
|
|
|
- 0, 9, GET_MPID(0x0, 0x401), EFI_ACPI_6_2_GIC_ENABLED, 23,
|
|
|
+ 0x2c020000, 0x2c010000, 25, 0, 0, 0),
|
|
|
+ EFI_ACPI_6_4_GICC_STRUCTURE_INIT( // Core-4 Thread-1
|
|
|
+ 0, 9, GET_MPID(0x0, 0x401), EFI_ACPI_6_4_GIC_ENABLED, 23,
|
|
|
FixedPcdGet32 (PcdGicDistributorBase),
|
|
|
- 0x2c020000, 0x2c010000, 25, 0 /* GicRBase */, 0 /* Efficiency */),
|
|
|
- EFI_ACPI_6_2_GICC_STRUCTURE_INIT( // Core-5 Thread-0
|
|
|
- 0, 10, GET_MPID(0x0, 0x500), EFI_ACPI_6_2_GIC_ENABLED, 23,
|
|
|
+ 0x2c020000, 0x2c010000, 25, 0, 0, 0),
|
|
|
+ EFI_ACPI_6_4_GICC_STRUCTURE_INIT( // Core-5 Thread-0
|
|
|
+ 0, 10, GET_MPID(0x0, 0x500), EFI_ACPI_6_4_GIC_ENABLED, 23,
|
|
|
FixedPcdGet32 (PcdGicDistributorBase),
|
|
|
- 0x2c020000, 0x2c010000, 25, 0 /* GicRBase */, 0 /* Efficiency */),
|
|
|
- EFI_ACPI_6_2_GICC_STRUCTURE_INIT( // Core-5 Thread-1
|
|
|
- 0, 11, GET_MPID(0x0, 0x501), EFI_ACPI_6_2_GIC_ENABLED, 23,
|
|
|
+ 0x2c020000, 0x2c010000, 25, 0, 0, 0),
|
|
|
+ EFI_ACPI_6_4_GICC_STRUCTURE_INIT( // Core-5 Thread-1
|
|
|
+ 0, 11, GET_MPID(0x0, 0x501), EFI_ACPI_6_4_GIC_ENABLED, 23,
|
|
|
FixedPcdGet32 (PcdGicDistributorBase),
|
|
|
- 0x2c020000, 0x2c010000, 25, 0 /* GicRBase */, 0 /* Efficiency */),
|
|
|
- EFI_ACPI_6_2_GICC_STRUCTURE_INIT( // Core-6 Thread-0
|
|
|
- 0, 12, GET_MPID(0x0, 0x600), EFI_ACPI_6_2_GIC_ENABLED, 23,
|
|
|
+ 0x2c020000, 0x2c010000, 25, 0, 0, 0),
|
|
|
+ EFI_ACPI_6_4_GICC_STRUCTURE_INIT( // Core-6 Thread-0
|
|
|
+ 0, 12, GET_MPID(0x0, 0x600), EFI_ACPI_6_4_GIC_ENABLED, 23,
|
|
|
FixedPcdGet32 (PcdGicDistributorBase),
|
|
|
- 0x2c020000, 0x2c010000, 25, 0 /* GicRBase */, 0 /* Efficiency */),
|
|
|
- EFI_ACPI_6_2_GICC_STRUCTURE_INIT( // Core-6 Thread-1
|
|
|
- 0, 13, GET_MPID(0x0, 0x601), EFI_ACPI_6_2_GIC_ENABLED, 23,
|
|
|
+ 0x2c020000, 0x2c010000, 25, 0, 0, 0),
|
|
|
+ EFI_ACPI_6_4_GICC_STRUCTURE_INIT( // Core-6 Thread-1
|
|
|
+ 0, 13, GET_MPID(0x0, 0x601), EFI_ACPI_6_4_GIC_ENABLED, 23,
|
|
|
FixedPcdGet32 (PcdGicDistributorBase),
|
|
|
- 0x2c020000, 0x2c010000, 25, 0 /* GicRBase */, 0 /* Efficiency */),
|
|
|
- EFI_ACPI_6_2_GICC_STRUCTURE_INIT( // Core-7 Thread-0
|
|
|
- 0, 14, GET_MPID(0x0, 0x700), EFI_ACPI_6_2_GIC_ENABLED, 23,
|
|
|
+ 0x2c020000, 0x2c010000, 25, 0, 0, 0),
|
|
|
+ EFI_ACPI_6_4_GICC_STRUCTURE_INIT( // Core-7 Thread-0
|
|
|
+ 0, 14, GET_MPID(0x0, 0x700), EFI_ACPI_6_4_GIC_ENABLED, 23,
|
|
|
FixedPcdGet32 (PcdGicDistributorBase),
|
|
|
- 0x2c020000, 0x2c010000, 25, 0 /* GicRBase */, 0 /* Efficiency */),
|
|
|
- EFI_ACPI_6_2_GICC_STRUCTURE_INIT( // Core-7 Thread-1
|
|
|
- 0, 15, GET_MPID(0x0, 0x701), EFI_ACPI_6_2_GIC_ENABLED, 23,
|
|
|
+ 0x2c020000, 0x2c010000, 25, 0, 0, 0),
|
|
|
+ EFI_ACPI_6_4_GICC_STRUCTURE_INIT( // Core-7 Thread-1
|
|
|
+ 0, 15, GET_MPID(0x0, 0x701), EFI_ACPI_6_4_GIC_ENABLED, 23,
|
|
|
FixedPcdGet32 (PcdGicDistributorBase),
|
|
|
- 0x2c020000, 0x2c010000, 25, 0 /* GicRBase */, 0 /* Efficiency */),
|
|
|
+ 0x2c020000, 0x2c010000, 25, 0, 0, 0),
|
|
|
|
|
|
//Cluster 1
|
|
|
- EFI_ACPI_6_2_GICC_STRUCTURE_INIT( // Core-0 Thread-0
|
|
|
- 0, 16, GET_MPID(0x100, 0x0), EFI_ACPI_6_2_GIC_ENABLED, 23,
|
|
|
+ EFI_ACPI_6_4_GICC_STRUCTURE_INIT( // Core-0 Thread-0
|
|
|
+ 0, 16, GET_MPID(0x100, 0x0), EFI_ACPI_6_4_GIC_ENABLED, 23,
|
|
|
FixedPcdGet32 (PcdGicDistributorBase),
|
|
|
- 0x2c020000, 0x2c010000, 25, 0 /* GicRBase */, 0 /* Efficiency */),
|
|
|
- EFI_ACPI_6_2_GICC_STRUCTURE_INIT( // Core-1 Thread-1
|
|
|
- 0, 17, GET_MPID(0x100, 0x1), EFI_ACPI_6_2_GIC_ENABLED, 23,
|
|
|
+ 0x2c020000, 0x2c010000, 25, 0, 0, 0),
|
|
|
+ EFI_ACPI_6_4_GICC_STRUCTURE_INIT( // Core-1 Thread-1
|
|
|
+ 0, 17, GET_MPID(0x100, 0x1), EFI_ACPI_6_4_GIC_ENABLED, 23,
|
|
|
FixedPcdGet32 (PcdGicDistributorBase),
|
|
|
- 0x2c020000, 0x2c010000, 25, 0 /* GicRBase */, 0 /* Efficiency */),
|
|
|
- EFI_ACPI_6_2_GICC_STRUCTURE_INIT( // Core-1 Thread-0
|
|
|
- 0, 18, GET_MPID(0x100, 0x100), EFI_ACPI_6_2_GIC_ENABLED, 23,
|
|
|
+ 0x2c020000, 0x2c010000, 25, 0, 0, 0),
|
|
|
+ EFI_ACPI_6_4_GICC_STRUCTURE_INIT( // Core-1 Thread-0
|
|
|
+ 0, 18, GET_MPID(0x100, 0x100), EFI_ACPI_6_4_GIC_ENABLED, 23,
|
|
|
FixedPcdGet32 (PcdGicDistributorBase),
|
|
|
- 0x2c020000, 0x2c010000, 25, 0 /* GicRBase */, 0 /* Efficiency */),
|
|
|
- EFI_ACPI_6_2_GICC_STRUCTURE_INIT( // Core-1 Thread-1
|
|
|
- 0, 19, GET_MPID(0x100, 0x101), EFI_ACPI_6_2_GIC_ENABLED, 23,
|
|
|
+ 0x2c020000, 0x2c010000, 25, 0, 0, 0),
|
|
|
+ EFI_ACPI_6_4_GICC_STRUCTURE_INIT( // Core-1 Thread-1
|
|
|
+ 0, 19, GET_MPID(0x100, 0x101), EFI_ACPI_6_4_GIC_ENABLED, 23,
|
|
|
FixedPcdGet32 (PcdGicDistributorBase),
|
|
|
- 0x2c020000, 0x2c010000, 25, 0 /* GicRBase */, 0 /* Efficiency */),
|
|
|
- EFI_ACPI_6_2_GICC_STRUCTURE_INIT( // Core-2 Thread-0
|
|
|
- 0, 20, GET_MPID(0x100, 0x200), EFI_ACPI_6_2_GIC_ENABLED, 23,
|
|
|
+ 0x2c020000, 0x2c010000, 25, 0, 0, 0),
|
|
|
+ EFI_ACPI_6_4_GICC_STRUCTURE_INIT( // Core-2 Thread-0
|
|
|
+ 0, 20, GET_MPID(0x100, 0x200), EFI_ACPI_6_4_GIC_ENABLED, 23,
|
|
|
FixedPcdGet32 (PcdGicDistributorBase),
|
|
|
- 0x2c020000, 0x2c010000, 25, 0 /* GicRBase */, 0 /* Efficiency */),
|
|
|
- EFI_ACPI_6_2_GICC_STRUCTURE_INIT( // Core-2 Thread-1
|
|
|
- 0, 21, GET_MPID(0x100, 0x201), EFI_ACPI_6_2_GIC_ENABLED, 23,
|
|
|
+ 0x2c020000, 0x2c010000, 25, 0, 0, 0),
|
|
|
+ EFI_ACPI_6_4_GICC_STRUCTURE_INIT( // Core-2 Thread-1
|
|
|
+ 0, 21, GET_MPID(0x100, 0x201), EFI_ACPI_6_4_GIC_ENABLED, 23,
|
|
|
FixedPcdGet32 (PcdGicDistributorBase),
|
|
|
- 0x2c020000, 0x2c010000, 25, 0 /* GicRBase */, 0 /* Efficiency */),
|
|
|
- EFI_ACPI_6_2_GICC_STRUCTURE_INIT( // Core-3 Thread-0
|
|
|
- 0, 22, GET_MPID(0x100, 0x300), EFI_ACPI_6_2_GIC_ENABLED, 23,
|
|
|
+ 0x2c020000, 0x2c010000, 25, 0, 0, 0),
|
|
|
+ EFI_ACPI_6_4_GICC_STRUCTURE_INIT( // Core-3 Thread-0
|
|
|
+ 0, 22, GET_MPID(0x100, 0x300), EFI_ACPI_6_4_GIC_ENABLED, 23,
|
|
|
FixedPcdGet32 (PcdGicDistributorBase),
|
|
|
- 0x2c020000, 0x2c010000, 25, 0 /* GicRBase */, 0 /* Efficiency */),
|
|
|
- EFI_ACPI_6_2_GICC_STRUCTURE_INIT( // Core-3 Thread-1
|
|
|
- 0, 23, GET_MPID(0x100, 0x301), EFI_ACPI_6_2_GIC_ENABLED, 23,
|
|
|
+ 0x2c020000, 0x2c010000, 25, 0, 0, 0),
|
|
|
+ EFI_ACPI_6_4_GICC_STRUCTURE_INIT( // Core-3 Thread-1
|
|
|
+ 0, 23, GET_MPID(0x100, 0x301), EFI_ACPI_6_4_GIC_ENABLED, 23,
|
|
|
FixedPcdGet32 (PcdGicDistributorBase),
|
|
|
- 0x2c020000, 0x2c010000, 25, 0 /* GicRBase */, 0 /* Efficiency */),
|
|
|
- EFI_ACPI_6_2_GICC_STRUCTURE_INIT( // Core-4 Thread-0
|
|
|
- 0, 24, GET_MPID(0x100, 0x400), EFI_ACPI_6_2_GIC_ENABLED, 23,
|
|
|
+ 0x2c020000, 0x2c010000, 25, 0, 0, 0),
|
|
|
+ EFI_ACPI_6_4_GICC_STRUCTURE_INIT( // Core-4 Thread-0
|
|
|
+ 0, 24, GET_MPID(0x100, 0x400), EFI_ACPI_6_4_GIC_ENABLED, 23,
|
|
|
FixedPcdGet32 (PcdGicDistributorBase),
|
|
|
- 0x2c020000, 0x2c010000, 25, 0 /* GicRBase */, 0 /* Efficiency */),
|
|
|
- EFI_ACPI_6_2_GICC_STRUCTURE_INIT( // Core-4 Thread-1
|
|
|
- 0, 25, GET_MPID(0x100, 0x401), EFI_ACPI_6_2_GIC_ENABLED, 23,
|
|
|
+ 0x2c020000, 0x2c010000, 25, 0, 0, 0),
|
|
|
+ EFI_ACPI_6_4_GICC_STRUCTURE_INIT( // Core-4 Thread-1
|
|
|
+ 0, 25, GET_MPID(0x100, 0x401), EFI_ACPI_6_4_GIC_ENABLED, 23,
|
|
|
FixedPcdGet32 (PcdGicDistributorBase),
|
|
|
- 0x2c020000, 0x2c010000, 25, 0 /* GicRBase */, 0 /* Efficiency */),
|
|
|
- EFI_ACPI_6_2_GICC_STRUCTURE_INIT( // Core-5 Thread-0
|
|
|
- 0, 26, GET_MPID(0x100, 0x500), EFI_ACPI_6_2_GIC_ENABLED, 23,
|
|
|
+ 0x2c020000, 0x2c010000, 25, 0, 0, 0),
|
|
|
+ EFI_ACPI_6_4_GICC_STRUCTURE_INIT( // Core-5 Thread-0
|
|
|
+ 0, 26, GET_MPID(0x100, 0x500), EFI_ACPI_6_4_GIC_ENABLED, 23,
|
|
|
FixedPcdGet32 (PcdGicDistributorBase),
|
|
|
- 0x2c020000, 0x2c010000, 25, 0 /* GicRBase */, 0 /* Efficiency */),
|
|
|
- EFI_ACPI_6_2_GICC_STRUCTURE_INIT( // Core-5 Thread-1
|
|
|
- 0, 27, GET_MPID(0x100, 0x501), EFI_ACPI_6_2_GIC_ENABLED, 23,
|
|
|
+ 0x2c020000, 0x2c010000, 25, 0, 0, 0),
|
|
|
+ EFI_ACPI_6_4_GICC_STRUCTURE_INIT( // Core-5 Thread-1
|
|
|
+ 0, 27, GET_MPID(0x100, 0x501), EFI_ACPI_6_4_GIC_ENABLED, 23,
|
|
|
FixedPcdGet32 (PcdGicDistributorBase),
|
|
|
- 0x2c020000, 0x2c010000, 25, 0 /* GicRBase */, 0 /* Efficiency */),
|
|
|
- EFI_ACPI_6_2_GICC_STRUCTURE_INIT( // Core-6 Thread-0
|
|
|
- 0, 28, GET_MPID(0x100, 0x600), EFI_ACPI_6_2_GIC_ENABLED, 23,
|
|
|
+ 0x2c020000, 0x2c010000, 25, 0, 0, 0),
|
|
|
+ EFI_ACPI_6_4_GICC_STRUCTURE_INIT( // Core-6 Thread-0
|
|
|
+ 0, 28, GET_MPID(0x100, 0x600), EFI_ACPI_6_4_GIC_ENABLED, 23,
|
|
|
FixedPcdGet32 (PcdGicDistributorBase),
|
|
|
- 0x2c020000, 0x2c010000, 25, 0 /* GicRBase */, 0 /* Efficiency */),
|
|
|
- EFI_ACPI_6_2_GICC_STRUCTURE_INIT( // Core-6 Thread-1
|
|
|
- 0, 29, GET_MPID(0x100, 0x601), EFI_ACPI_6_2_GIC_ENABLED, 23,
|
|
|
+ 0x2c020000, 0x2c010000, 25, 0, 0, 0),
|
|
|
+ EFI_ACPI_6_4_GICC_STRUCTURE_INIT( // Core-6 Thread-1
|
|
|
+ 0, 29, GET_MPID(0x100, 0x601), EFI_ACPI_6_4_GIC_ENABLED, 23,
|
|
|
FixedPcdGet32 (PcdGicDistributorBase),
|
|
|
- 0x2c020000, 0x2c010000, 25, 0 /* GicRBase */, 0 /* Efficiency */),
|
|
|
- EFI_ACPI_6_2_GICC_STRUCTURE_INIT( // Core-7 Thread-0
|
|
|
- 0, 30, GET_MPID(0x100, 0x700), EFI_ACPI_6_2_GIC_ENABLED, 23,
|
|
|
+ 0x2c020000, 0x2c010000, 25, 0, 0, 0),
|
|
|
+ EFI_ACPI_6_4_GICC_STRUCTURE_INIT( // Core-7 Thread-0
|
|
|
+ 0, 30, GET_MPID(0x100, 0x700), EFI_ACPI_6_4_GIC_ENABLED, 23,
|
|
|
FixedPcdGet32 (PcdGicDistributorBase),
|
|
|
- 0x2c020000, 0x2c010000, 25, 0 /* GicRBase */, 0 /* Efficiency */),
|
|
|
- EFI_ACPI_6_2_GICC_STRUCTURE_INIT( // Core-7 Thread-1
|
|
|
- 0, 31, GET_MPID(0x100, 0x701), EFI_ACPI_6_2_GIC_ENABLED, 23,
|
|
|
+ 0x2c020000, 0x2c010000, 25, 0, 0, 0),
|
|
|
+ EFI_ACPI_6_4_GICC_STRUCTURE_INIT( // Core-7 Thread-1
|
|
|
+ 0, 31, GET_MPID(0x100, 0x701), EFI_ACPI_6_4_GIC_ENABLED, 23,
|
|
|
FixedPcdGet32 (PcdGicDistributorBase),
|
|
|
- 0x2c020000, 0x2c010000, 25, 0 /* GicRBase */, 0 /* Efficiency */),
|
|
|
+ 0x2c020000, 0x2c010000, 25, 0, 0, 0),
|
|
|
},
|
|
|
// GIC Distributor Entry
|
|
|
- EFI_ACPI_6_2_GIC_DISTRIBUTOR_INIT(0, FixedPcdGet32 (PcdGicDistributorBase),
|
|
|
+ EFI_ACPI_6_4_GIC_DISTRIBUTOR_INIT(0, FixedPcdGet32 (PcdGicDistributorBase),
|
|
|
0, 3),
|
|
|
// GIC Redistributor
|
|
|
- EFI_ACPI_6_2_GIC_REDISTRIBUTOR_INIT(FixedPcdGet32 (PcdGicRedistributorsBase),
|
|
|
+ EFI_ACPI_6_4_GIC_REDISTRIBUTOR_INIT(FixedPcdGet32 (PcdGicRedistributorsBase),
|
|
|
SIZE_8MB),
|
|
|
// GIC ITS
|
|
|
- EFI_ACPI_6_2_GIC_ITS_INIT(0, 0x30040000)
|
|
|
+ EFI_ACPI_6_4_GIC_ITS_INIT(0, 0x30040000)
|
|
|
};
|
|
|
|
|
|
//
|