diff options
Diffstat (limited to 'src/include/acpi/acpi.h')
-rw-r--r-- | src/include/acpi/acpi.h | 1 |
1 files changed, 1 insertions, 0 deletions
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); |