GICD_CTLR - OpenBSD

1367

v = bus_space_read_4(sc->sc_iot, sc->sc_d_ioh, GICD_CTLR);

393

ctrl = bus_space_read_4(sc->sc_iot, sc->sc_d_ioh, GICD_CTLR);

590

ctrl = bus_space_read_4(sc->sc_iot, sc->sc_d_ioh, GICD_CTLR);

596

bus_space_write_4(sc->sc_iot, sc->sc_d_ioh, GICD_CTLR, ctrl | bits);