tree 41b7ec55e26ace7c19c2f8849bc25eb1ded655f3
parent b460b8bf23633195535006b29e14c615f888fa24
author Soby Mathew <soby.mathew@arm.com> 1401293676 +0100
committer Soby Mathew <soby.mathew@arm.com> 1401378850 +0100

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