andrew b03552df20 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)
2018-03-02 13:04:21 +00:00
..
2018-03-02 06:02:54 +00:00
2018-02-14 00:12:03 +00:00
2018-02-08 20:09:42 +00:00