OPENPIC_CONFIG
x = openpic_read(sc, OPENPIC_CONFIG);
openpic_write(sc, OPENPIC_CONFIG, x);
while (openpic_read(sc, OPENPIC_CONFIG) & OPENPIC_CONFIG_RESET) {
x = openpic_read(sc, OPENPIC_CONFIG);
openpic_write(sc, OPENPIC_CONFIG, x);
sc->sc_saved_config = bus_read_4(sc->sc_memr, OPENPIC_CONFIG);
sc->sc_saved_config = bus_read_4(sc->sc_memr, OPENPIC_CONFIG);
x = openpic_read(sc, OPENPIC_CONFIG);
openpic_write(sc, OPENPIC_CONFIG, x);
while (openpic_read(sc, OPENPIC_CONFIG) & OPENPIC_CONFIG_RESET) {