Jeenu Viswambharan 2da8d8bfc0 Add build configuration for timer save/restore ... At present, non-secure timer register contents are saved and restored as part of world switch by BL3-1. This effectively means that the non-secure timer stops, and non-secure timer interrupts are prevented from asserting until BL3-1 switches back, introducing latency for non-secure services. Often, secure world might depend on alternate sources for secure interrupts (secure timer or platform timer) instead of non-secure timers, in which case this save and restore is unnecessary. This patch introduces a boolean build-time configuration NS_TIMER_SWITCH to choose whether or not to save and restore non-secure timer registers upon world switch. The default choice is made not to save and restore them. Fixes ARM-software/tf-issues#148 Change-Id: I1b9d623606acb9797c3e0b02fb5ec7c0a414f37e		2014-05-16 17:11:31 +01:00
..
services	Reduce deep nesting of header files	2014-05-06 13:57:48 +01:00
bl31.h	Reduce deep nesting of header files	2014-05-06 13:57:48 +01:00
cm_macros.S	Preserve x19-x29 across world switch for exception handling	2014-05-08 12:01:23 +01:00
context.h	Add build configuration for timer save/restore	2014-05-16 17:11:31 +01:00
context_mgmt.h	Reduce deep nesting of header files	2014-05-06 13:57:48 +01:00
runtime_svc.h	Reduce deep nesting of header files	2014-05-06 13:57:48 +01:00