K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2016-04-15T14:19:25.437511Z
K 7
svn:log
V 347
Add initial GICv2m support to the arm GIC driver. This will be used to
support MSI and MSI-X interrupts, however intrng needs updates before this
can happen.

For now we just attach the driver until the MSI API is ready.

Obtained from:	ABT Systems Ltd
Sponsored by:	The FreeBSD Foundation
Differential Revision:	https://reviews.freebsd.org/D5950

END