Support full GICD SPI interrupt count for REG32/REG16.
authordrahn <drahn@openbsd.org>
Mon, 29 Aug 2022 01:34:18 +0000 (01:34 +0000)
committerdrahn <drahn@openbsd.org>
Mon, 29 Aug 2022 01:34:18 +0000 (01:34 +0000)
commit7d4ece3a03ac10d34b2c62fe8c02e66334a575c4
tree4da6d186a8d7a94c56bbad4f13f6ad26298b4fa0
parent4024125e333f68d045fd7d3b78f5280695317a03
Support full GICD SPI interrupt count for REG32/REG16.
This enables SPI support for interrupts on X13s.
ok jsg@
sys/arch/arm64/dev/agintc.c