Hi,
Recently，we find the priority settings of (E)PPI/SGI is not consistent
with the description(doing 4 at a time)。I just wonder whether it's a defect because we find interrupt not works when interrupt id is larger then 16.

thanks a lot.