K 10 svn:author V 6 andrew K 8 svn:date V 27 2016-09-07T12:10:30.456207Z K 7 svn:log V 265 MFC 302849, 302851, 302896 GICv3 improvements: - Move internal data structures out of the common header file - Remove unused data structures and macros - Add us_print_child to the GICv3 driver Obtained from: ABT Systems Ltd Sponsored by: The FreeBSD Foundation END