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