Symbol: dist_irouter_write
sys/arm64/vmm/io/vgic_v3.c
248
static register_write dist_irouter_write;
sys/arm64/vmm/io/vgic_v3.c
320
VGIC_64_BIT | VGIC_32_BIT, dist_irouter_read, dist_irouter_write),