Achin Gupta fa9c08b7d1 Use secure timer to generate S-EL1 interrupts ... This patch adds support in the TSP to program the secure physical generic timer to generate a EL-1 interrupt every half second. It also adds support for maintaining the timer state across power management operations. The TSPD ensures that S-EL1 can access the timer by programming the SCR_EL3.ST bit. This patch does not actually enable the timer. This will be done in a subsequent patch once the complete framework for handling S-EL1 interrupts is in place. Change-Id: I1b3985cfb50262f60824be3a51c6314ce90571bc		2014-05-22 17:47:20 +01:00
..
arch.h	Use secure timer to generate S-EL1 interrupts	2014-05-22 17:47:20 +01:00
arch_helpers.h	Use secure timer to generate S-EL1 interrupts	2014-05-22 17:47:20 +01:00
xlat_tables.h	Always use named structs in header files	2014-05-06 13:57:48 +01:00