feat(timer): support PPI timer interrupts
Add support for timers that use a PPI as timer interrupt. A new
function, tftf_initialise_timer_secondary_core(), is added to initialize
the PPI on the secondary CPUs from tftf_warm_boot_main().
Change-Id: Ia343ce10b0b51e72b9e520b1fab0ea7ba0a43f2c
Signed-off-by: Jens Wiklander <jens.wiklander@linaro.org>
diff --git a/lib/power_management/hotplug/hotplug.c b/lib/power_management/hotplug/hotplug.c
index 76fa287..5c68642 100644
--- a/lib/power_management/hotplug/hotplug.c
+++ b/lib/power_management/hotplug/hotplug.c
@@ -303,6 +303,7 @@
/* Enable the SGI used by the timer management framework */
tftf_irq_enable(IRQ_WAKE_SGI, GIC_HIGHEST_NS_PRIORITY);
+ tftf_initialise_timer_secondary_core();
enable_irq();