Symbol: GICD_IIDR
sys/arm/arm/gic.c
1202
gic_d_read_4(sc, GICD_IIDR));
sys/arm64/vmm/io/vgic_v3.c
255
VGIC_REGISTER(GICD_IIDR, 4, VGIC_32_BIT, dist_iidr_read,