K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2017-02-06T15:24:52.210636Z
K 7
svn:log
V 163
Temporary disable gicv3_its.c when FDT is missing from the kernel until
INTRNG supports ACPI.

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

END