Symbol: redist_ctlr_read
sys/arm64/vmm/io/vgic_v3.c
329
static register_read redist_ctlr_read;
sys/arm64/vmm/io/vgic_v3.c
345
VGIC_REGISTER(GICR_CTLR, 4, VGIC_32_BIT, redist_ctlr_read,