K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2018-03-05T10:11:30.537212Z
K 7
svn:log
V 246
Register each GICv3 ITS driver with a useful cross reference. We currently
only use the first driver, however this may change in the future and
hardware exists with multiple ITS devices.

Sponsored by:	DARPA, AFRL
Sponsored by:	Cavium (Hardware)

END