Symbol: redist_icfgr1_write
sys/arm64/vmm/io/vgic_v3.c
391
static register_write redist_icfgr1_write;
sys/arm64/vmm/io/vgic_v3.c
414
redist_icfgr1_write),