Symbol: dist_ctlr_write
sys/arm64/vmm/io/vgic_v3.c
205
static register_write dist_ctlr_write;
sys/arm64/vmm/io/vgic_v3.c
252
dist_ctlr_write),