Symbol: redist_icfgr1_read
sys/arm64/vmm/io/vgic_v3.c
390
static register_read redist_icfgr1_read;
sys/arm64/vmm/io/vgic_v3.c
413
VGIC_REGISTER(GICR_ICFGR1, 4, VGIC_32_BIT, redist_icfgr1_read,