Symbol: dist_isenabler_write
sys/arm64/vmm/io/vgic_v3.c
218
static register_write dist_isenabler_write;
sys/arm64/vmm/io/vgic_v3.c
269
VGIC_32_BIT, dist_isenabler_read, dist_isenabler_write),