K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2016-08-01T16:29:04.159987Z
K 7
svn:log
V 267
Split out the FDT parts of the GICv2 interrupt controller driver. This will
allow us to add an ACPI attachment for arm64.

Obtained from:	ABT Systems Ltd
MFC after:	1 month
Sponsored by:	The FreeBSD Foundation
Differential Revision:	https://reviews.freebsd.org/D7307

END