Soby Mathew b460b8bf23 Pass 'cookie' parameter to interrupt handler in BL3-1 ... The interrupt handling routine in BL3-1 expects a cookie as its last parameter which was not being passed when invoking the interrupt handler in BL3-1. This patch fixes that by passing a dummy cookie parameter in the x3 register. Fixes ARM-software/tf-issues#171 Change-Id: Ic98abbbd9f849e6f1c55343e865b5e0a4904a1c5		2014-05-29 16:45:19 +01:00
..
aarch64	Pass 'cookie' parameter to interrupt handler in BL3-1	2014-05-29 16:45:19 +01:00
bl31.ld.S	Split platform.h into separate headers	2014-05-23 15:52:29 +01:00
bl31.mk	Introduce interrupt handling framework in BL3-1	2014-05-22 17:47:19 +01:00
bl31_main.c	Further renames of platform porting functions	2014-05-27 16:17:21 +01:00
context_mgmt.c	Split platform.h into separate headers	2014-05-23 15:52:29 +01:00
interrupt_mgmt.c	Introduce interrupt registration framework in BL3-1	2014-05-22 17:46:56 +01:00
runtime_svc.c	Non-Secure Interrupt support during Standard SMC processing in TSP	2014-05-23 08:46:21 +01:00