tree 6de9251a7923782d40b4d749ec5531bc3ae023d6
parent d780699b5e70337c411bc38e470de4eab03af4b6
author Jeenu Viswambharan <jeenu.viswambharan@arm.com> 1481281954 +0000
committer Jeenu Viswambharan <jeenu.viswambharan@arm.com> 1481810906 +0000

Introduce ARM platform APIs for GICv3 Redistributor

As with other ARM platform GIC APIs, these directly invoke the GICv3
driver APIs for Redistributor power management.

For the sake of uniform GIC API, empty stubs are placed for those GIC
drivers that lack Redistributor component.

Change-Id: Iad0d760d4dbca790998f7768cda621ff3b15a864
Signed-off-by: Jeenu Viswambharan <jeenu.viswambharan@arm.com>