K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2018-03-02T13:04:21.624315Z
K 7
svn:log
V 171
Count the number of children in the GICv3 ACPI attachment. This is needed
later for assigning IRQ vector space.

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

END