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

..

tspd_common.c

Split platform.h into separate headers

2014-05-23 15:52:29 +01:00

tspd_helpers.S

Reduce deep nesting of header files

2014-05-06 13:57:48 +01:00

tspd_main.c

Fix compilation issue for IMF_READ_INTERRUPT_ID build flag

2014-05-29 16:54:10 +01:00

tspd_pm.c

Split platform.h into separate headers

2014-05-23 15:52:29 +01:00

tspd_private.h

Split platform.h into separate headers

2014-05-23 15:52:29 +01:00

tspd.mk

Remove vpath usage in makefiles

2014-05-06 12:35:02 +01:00