K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2016-12-06T12:57:28.190187Z
K 7
svn:log
V 210
Adda new common GIC header to handle the common parts of the GICv2 and
GICv3 drivers. For now it just contains common distributor registers.

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

END