andrew 628d04e2f3 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
2016-12-06 12:57:28 +00:00
..
2016-12-04 16:04:22 +00:00
2016-10-09 10:25:47 +00:00