K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2015-12-14T16:07:20.522655Z
K 7
svn:log
V 214
Add support for MSI interrupts to the gicv2m controller. The allocation
is still quite simplistic, it just increments a counter to use the next
interrupt.

Obtained from:	ABT Systems Ltd
Sponsored by:	SoftIron Inc

END