Symbol: gicr_insn
drivers/irqchip/irq-gic-v5.c
948
ia = gicr_insn(CDIA);
tools/testing/selftests/kvm/arm64/vgic_v5.c
44
ia = gicr_insn(CDIA);