Make GICv3 redistributor support actually work and add ITS support.
authorkettenis <kettenis@openbsd.org>
Sat, 11 Aug 2018 16:02:33 +0000 (16:02 +0000)
committerkettenis <kettenis@openbsd.org>
Sat, 11 Aug 2018 16:02:33 +0000 (16:02 +0000)
commit2e852d61ef29f06c6a3cdf8b9ed154c5ee5f5774
treeafb9b78daf4626dcf364294a1aa0a450a693fed1
parent64e100a51d21a2b1ab99969c3be45fa944b6fc0c
Make GICv3 redistributor support actually work and add ITS support.
sys/arch/arm64/stand/efiboot/efiacpi.c