K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2018-03-05T10:09:18.730743Z
K 7
svn:log
V 216
In the ACPI GICv3 attach function call device_get_children to get the list
of children. We expect this to be populated when configuring the secondary
cores.

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

END