Symbol: dist_isactiver_write
sys/arm64/vmm/io/vgic_v3.c
230
static register_write dist_isactiver_write;
sys/arm64/vmm/io/vgic_v3.c
285
VGIC_32_BIT, dist_isactiver_read, dist_isactiver_write),