andrew e7850ad5c7 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-04-20 22:41:19 +00:00
2015-04-16 22:34:10 +00:00
2016-03-10 15:51:43 +00:00
2016-05-13 18:20:54 +00:00