Searched refs:el0_irq (Results 1 – 1 of 1) sorted by relevance
211 ventry el0_irq // IRQ 64-bit EL0557 el0_irq: label572 ENDPROC(el0_irq)