Symbol: GICR_IPRIORITYR
sys/arm64/vmm/io/vgic_v3.c
1583
n = (reg - GICR_IPRIORITYR(0)) / 4;
sys/arm64/vmm/io/vgic_v3.c
1593
irq_base = (reg - GICR_IPRIORITYR(0)) + offset;
sys/arm64/vmm/io/vgic_v3.c
409
VGIC_REGISTER_RANGE(GICR_IPRIORITYR(0), GICR_IPRIORITYR(32), 4,