Add support for ACPI firmware that provides the base address of individual
authorkettenis <kettenis@openbsd.org>
Sun, 23 Jun 2024 15:37:31 +0000 (15:37 +0000)
committerkettenis <kettenis@openbsd.org>
Sun, 23 Jun 2024 15:37:31 +0000 (15:37 +0000)
commit3fe0bd1a994b92f835ed79b4c99bf1aab23ddbfb
tree95f03b51e6a779476d10c6b742a48e582845b801
parenta8396bba287763f3617961762e98baaf9a2528eb
Add support for ACPI firmware that provides the base address of individual
GIC redistributors in the per-CPU GIC MADT table entries.

ok patrick@
sys/arch/arm64/stand/efiboot/conf.c
sys/arch/arm64/stand/efiboot/efiacpi.c