
GICv2 can use interrupt numbers up to 1019: * 0-15 are SGIs aka ICIs * 16-31 are PPIs * 32-1019 are SPIs Change-Id: I1c19be77105683da3f6988a5607b14dc10a899db Reviewed-on: https://review.haiku-os.org/c/haiku/+/5565 Reviewed-by: Fredrik Holmqvist <fredrik.holmqvist@gmail.com> Tested-by: Commit checker robot <no-reply+buildbot@haiku-os.org>