K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2018-03-03T13:19:08.508874Z
K 7
svn:log
V 195
Add the missing GICv3 dev info struct to the ACPI dev info.Previously we
would read from the resource list when querying from this.

Sponsored by:	ABT Systems Ltd
Sponsored by:	Cavium (Hardware)

END