ARM: gic: Add support for logging interrupts in RTB

To help with the debug of interrupt storms and problems during IRQ
handling, log the IRQ number in RTB for each interrupt that fires.

Change-Id: I479f8cc032b269f3d43d939419e346528d4f909e
Signed-off-by: Subbaraman Narayanamurthy <subbaram@codeaurora.org>
2 files changed