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 <[email protected]> Tested-by: Commit checker robot <[email protected]>