diff options
| author | danh-arm <dan.handley@arm.com> | 2016-12-20 12:26:23 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-12-20 12:26:23 +0000 |
| commit | 9acdafbccf730179406ce7693772d7f7dcc4ae3c (patch) | |
| tree | 3f63845f5abefdcd6a6cc977b1c8acd437dd6832 /include/plat | |
| parent | 9e75fddc3a89c1c2fbaf38213e627668271d6af5 (diff) | |
| parent | 74a9578c209fc96eaed4ffdd26fd0e5fe94e21a9 (diff) | |
Merge pull request #793 from jeenu-arm/gic-changes
GIC driver changes for extended power management
Diffstat (limited to 'include/plat')
| -rw-r--r-- | include/plat/arm/common/plat_arm.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/include/plat/arm/common/plat_arm.h b/include/plat/arm/common/plat_arm.h index bc32e40f..c167aa2c 100644 --- a/include/plat/arm/common/plat_arm.h +++ b/include/plat/arm/common/plat_arm.h @@ -194,6 +194,8 @@ void plat_arm_gic_driver_init(void); void plat_arm_gic_init(void); void plat_arm_gic_cpuif_enable(void); void plat_arm_gic_cpuif_disable(void); +void plat_arm_gic_redistif_on(void); +void plat_arm_gic_redistif_off(void); void plat_arm_gic_pcpu_init(void); void plat_arm_security_setup(void); void plat_arm_pwrc_setup(void); |