Recognize GICv4 in the MADT and configure it as arm,gic-v3.
authorpatrick <patrick@openbsd.org>
Mon, 9 Oct 2023 22:05:27 +0000 (22:05 +0000)
committerpatrick <patrick@openbsd.org>
Mon, 9 Oct 2023 22:05:27 +0000 (22:05 +0000)
commit1d18bb1a2ea1659142a030d7eb5672456df5204d
tree6fed7ac1334a02d791d655e877cd73de8ad8ac55
parentedb884eaebb1fb3e92eea15b8b956edc06dda657
Recognize GICv4 in the MADT and configure it as arm,gic-v3.

ok kettenis@
sys/arch/arm64/stand/efiboot/efiacpi.c