Symbol: GICR_CTLR
sys/arm64/arm64/gicv3_its.c
751
ctlr = gic_r_read_4(gicv3, GICR_CTLR);
sys/arm64/arm64/gicv3_its.c
841
ctlr = gic_r_read_4(gicv3, GICR_CTLR);
sys/arm64/arm64/gicv3_its.c
843
gic_r_write_4(gicv3, GICR_CTLR, ctlr);
sys/arm64/arm64/gicv3_its.c
907
ctlr = gic_r_read_4(gicv3, GICR_CTLR);
sys/arm64/arm64/gicv3_its.c
909
gic_r_write_4(gicv3, GICR_CTLR, ctlr);
sys/arm64/vmm/io/vgic_v3.c
345
VGIC_REGISTER(GICR_CTLR, 4, VGIC_32_BIT, redist_ctlr_read,