Symbol: dist_icfgr_write
sys/arm64/vmm/io/vgic_v3.c
240
static register_write dist_icfgr_write;
sys/arm64/vmm/io/vgic_v3.c
303
VGIC_32_BIT, dist_icfgr_read, dist_icfgr_write),