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
1 parent b460b8b commit a37810853630098559d93f1b9ecdc222e63ef9cf
@Soby Mathew Soby Mathew authored on 28 May 2014
Showing 2 changed files
View
bl31/aarch64/runtime_exceptions.S
View
services/spd/tspd/tspd_main.c