K 10
svn:author
V 4
skra
K 8
svn:date
V 27
2016-04-07T15:16:33.737967Z
K 7
svn:log
V 259
Fix intr_irq_shuffle(). After r297539, ISRCs doing IPI may be also
registered into global interrupt table. Thus, they must be filtered out
like per-cpu interrupts. Fortunately, it does not influence anything
on interrupt controllers which already use INTRNG.

END