K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2018-02-28T15:25:47.046311Z
K 7
svn:log
V 216
Count the number of GIC redistributors in the ACPI tables. The GICv3 driver
needs this to allocate memory, and connect the CPUs to the interrupt
controller.

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

END