Symbol: redist_iidr_read
sys/arm64/vmm/io/vgic_v3.c
331
static register_read redist_iidr_read;
sys/arm64/vmm/io/vgic_v3.c
347
VGIC_REGISTER(GICR_IIDR, 4, VGIC_32_BIT, redist_iidr_read,