sys/arm/arm/gic.c

1201

gic_d_read_4(sc, GICD_CTLR), gic_d_read_4(sc, GICD_TYPER),

sys/arm/arm/gic.c

230

gic_d_write_4(sc, GICD_CTLR, 0x01);

sys/arm/arm/gic.c

341

gic_d_write_4(sc, GICD_CTLR, 0x00);

sys/arm/arm/gic.c

408

gic_d_write_4(sc, GICD_CTLR, 0x01);

sys/arm64/arm64/gic_v3.c

1245

while ((bus_read_4(res, offset + GICD_CTLR) & GICD_CTLR_RWP) != 0) {

sys/arm64/arm64/gic_v3.c

1323

gic_d_write(sc, 4, GICD_CTLR, 0);

sys/arm64/arm64/gic_v3.c

1357

gic_d_write(sc, 4, GICD_CTLR, GICD_CTLR_ARE_NS | GICD_CTLR_G1A |

sys/arm64/vmm/io/vgic_v3.c

251

VGIC_REGISTER(GICD_CTLR, 4, VGIC_32_BIT, dist_ctlr_read,