Fix compilation issue for IMF_READ_INTERRUPT_ID build flag
authorSoby Mathew <soby.mathew@arm.com>
Wed, 28 May 2014 16:14:36 +0000 (17:14 +0100)
committerSoby Mathew <soby.mathew@arm.com>
Thu, 29 May 2014 15:54:10 +0000 (16:54 +0100)
commita37810853630098559d93f1b9ecdc222e63ef9cf
tree41b7ec55e26ace7c19c2f8849bc25eb1ded655f3
parentb460b8bf23633195535006b29e14c615f888fa24
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
bl31/aarch64/runtime_exceptions.S
services/spd/tspd/tspd_main.c