diff options
| -rw-r--r-- | src/acpi/acpi_gic.c | 6 | ||||
| -rw-r--r-- | src/include/acpi/acpi.h | 1 |
2 files changed, 7 insertions, 0 deletions
diff --git a/src/acpi/acpi_gic.c b/src/acpi/acpi_gic.c index 589832793d..5b0f71db0b 100644 --- a/src/acpi/acpi_gic.c +++ b/src/acpi/acpi_gic.c @@ -3,6 +3,10 @@ #include <acpi/acpi.h> #include <device/device.h> +__weak void platform_fill_gicc(acpi_madt_gicc_t *gicc) +{ +} + static int acpi_create_madt_one_gicc_v3(acpi_madt_gicc_t *gicc, u32 acpi_uid, u32 pi_gsiv, uint32_t vgic_mi, uint64_t mpidr) { @@ -30,6 +34,8 @@ static int acpi_create_madt_one_gicc_v3(acpi_madt_gicc_t *gicc, u32 acpi_uid, u3 */ gicc->mpidr = mpidr & 0xff00fffffful; + platform_fill_gicc(gicc); + return gicc->length; } diff --git a/src/include/acpi/acpi.h b/src/include/acpi/acpi.h index a36e65c9d9..604c60dad0 100644 --- a/src/include/acpi/acpi.h +++ b/src/include/acpi/acpi.h @@ -1780,6 +1780,7 @@ unsigned long acpi_create_madt_one_lapic(unsigned long current, u32 cpu, u32 api unsigned long acpi_create_madt_lapic_nmis(unsigned long current); +void platform_fill_gicc(acpi_madt_gicc_t *gicc); uintptr_t platform_get_gicd_base(void); uintptr_t platform_get_gicr_base(void); int platform_get_gic_its(uintptr_t **base); |