plat/arm/board/arm_fpga: Initialize the Generic Interrupt Controller

This initializes the GIC using the Arm GIC drivers in TF-A.
The initial FPGA image uses a GIC600 implementation, and so that its
power controller is enabled, this platform port calls the corresponding
implementation-specific routines.

Signed-off-by: Oliver Swede <oli.swede@arm.com>
Change-Id: I88d5a073eead4b653b1ca73273182cd98a95e4c5
diff --git a/plat/arm/board/arm_fpga/fpga_pm.c b/plat/arm/board/arm_fpga/fpga_pm.c
index a734e1d..4c37217 100644
--- a/plat/arm/board/arm_fpga/fpga_pm.c
+++ b/plat/arm/board/arm_fpga/fpga_pm.c
@@ -9,6 +9,8 @@
 #include <lib/psci/psci.h>
 #include <plat/arm/common/plat_arm.h>
 #include <plat/common/platform.h>
+
+#include "fpga_private.h"
 #include <platform_def.h>
 
 /*
@@ -52,8 +54,15 @@
 	return PSCI_E_SUCCESS;
 }
 
+void fpga_pwr_domain_on_finish(const psci_power_state_t *target_state)
+{
+	fpga_pwr_gic_on_finish();
+}
+
 static void fpga_pwr_domain_off(const psci_power_state_t *target_state)
 {
+	fpga_pwr_gic_off();
+
 	while (1) {
 		wfi();
 	}
@@ -74,6 +83,7 @@
 
 plat_psci_ops_t plat_fpga_psci_pm_ops = {
 	.pwr_domain_on = fpga_pwr_domain_on,
+	.pwr_domain_on_finish = fpga_pwr_domain_on_finish,
 	.pwr_domain_off = fpga_pwr_domain_off,
 	.cpu_standby = fpga_cpu_standby
 };