K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2016-07-14T17:10:54.660910Z
K 7
svn:log
V 258
Move structures only used by the GICv3 ITS driver from a shared header to
the ITS driver file. There is no need for other drivers to need to know
about these structures.

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

END