K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2016-05-16T10:48:51.220736Z
K 7
svn:log
V 343
Add support for intrng to arm64. As the GICv3 drivers will need to be
updated, and until further testing can be done, this is disabled for now.

It is expected arm64 will switch to this interface, and the old interface
will be removed before 11.0 is released.

Obtained from:	ABT Systems Ltd
Relnotes:	yes
Sponsored by:	The FreeBSD Foundation

END