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