Andrew Turner 88f7980a81 Add intrng support to the GICv3 driver. It lacks ITS support so won't handle
MSI or MSI-X interrupts, however this is enought to boot FreeBSD under the
ARM Foundation Model with a GICv3 interrupt controller.

Approved by:	ABT Systems Ltd
Relnotes:	yes
Sponsored by:	The FreeBSD Foundation
2016-05-16 14:07:43 +00:00
..
2016-05-15 22:35:11 +00:00
2016-04-20 14:29:03 +00:00
2016-05-03 21:51:52 +00:00
2016-05-10 20:14:11 +00:00
2016-05-03 18:05:43 +00:00
2016-04-29 16:07:25 +00:00
2016-05-06 15:37:06 +00:00
2016-05-06 01:49:46 +00:00
2016-04-29 20:43:51 +00:00