Symbol: dist_ctlr_read
sys/arm64/vmm/io/vgic_v3.c
204
static register_read dist_ctlr_read;
sys/arm64/vmm/io/vgic_v3.c
251
VGIC_REGISTER(GICD_CTLR, 4, VGIC_32_BIT, dist_ctlr_read,