K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2016-07-14T17:05:25.386180Z
K 7
svn:log
V 188
Remove the non-INTRNG support from the GICv3 interrupt controller driver.
This is no longer needed.

Obtained from:	ABT Systems Ltd
MFC after:	1 month
Sponsored by:	The FreeBSD Foundation

END