K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2014-08-11T16:57:42.209398Z
K 7
svn:log
V 309
Hack to get the correct value for the interrupt from the vendor supplied
device tree. The GIC used the format <type irq flags> where the type is
0 for Shared Peripheral Interrupts (SPI), and 1 for Private Peripheral
Interrupts. The SPIs start at 32 in the GIc so we need to adjust their
values to match this.

END