Andrew Turner 68fe2d8f70 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
2015-12-14 16:07:20 +00:00
..
2015-12-13 11:30:36 +00:00
2015-12-13 16:37:01 +00:00
2015-11-19 08:04:05 +00:00
2015-12-13 04:15:10 +00:00
2015-11-12 10:31:14 +00:00