Searched refs:gicr_insn (Results 1 – 3 of 3) sorted by relevance
44 ia = gicr_insn(CDIA); in guest_irq_handler()
954 ia = gicr_insn(CDIA); in gicv5_handle_irq()
1108 #define gicr_insn(insn) read_sysreg_s(GICV5_OP_GICR_##insn) macro