How to get Interrupt number (IRQ number) during kernel panic in interrupt context?

I have a kernel panic in the Interrupt context. I have an use case to know the interrupt service routine number (IRQ number) during kernel panic. I had look on GIC registers from register spec, I could not able to figure it out. Is it possible to find the IRQ number from below log? 

CPU: 0 PID: 0 Comm: swapper/0 Tainted: P           O    4.1.51 #6
Hardware name: Broadcom-v8A (DT)
task: ffffffc0008096c0 ti: ffffffc0007fc000 task.ti: ffffffc0007fc000
PC is at cpuidle_enter_state+0xac/0x178
LR is at cpuidle_enter_state+0xa4/0x178
pc : [<ffffffc0003f3554>] lr : [<ffffffc0003f354c>] pstate: 60000145
sp : ffffffc0007ffec0
x29: ffffffc0007ffec0 x28: ffffffc000847e78
x27: ffffffc034db4490 x26: ffffffc0007f6000
x25: ffffffc0008e2000 x24: ffffffc0007fc000
x23: 00000015acbd6df4 x22: 0000000000000001
x21: 0000000000000001 x20: ffffffc034db4490
x19: 00000015acc76854 x18: 0000000000000000
x17: 0000000000000000 x16: ffffffc00016c4e8
x15: 0000000000000000 x14: 00000000f7381300
x13: 0000000000000041 x12: 00000000ff9cc8bc
x11: 00000000000b57cc x10: 00000000000b43f0
x9 : ffffffc0007ffe70 x8 : ffffffc000809c30
x7 : ffffffc034db5a90 x6 : 00055d4a80000000
x5 : 0000000000000018 x4 : 00000000000048b6
x3 : 0000000014000000 x2 : 0000000000025631
x1 : 00058c0654000000 x0 : 00000015acc76854

More questions in this forum