Soby Mathew a378108536 Fix compilation issue for IMF_READ_INTERRUPT_ID build flag ... This patch fixes the compilation issue for trusted firmware when the IMF_READ_INTERRUPT_ID is enabled. Change-Id: I94ab613b9bc96a7c1935796c674dc42246aaafee		2014-05-29 16:54:10 +01:00
..
spd/tspd	Fix compilation issue for IMF_READ_INTERRUPT_ID build flag	2014-05-29 16:54:10 +01:00
std_svc	Add enable mmu platform porting interfaces	2014-05-23 18:02:01 +01:00