Searched refs:sc_saved_ipis (Results 1 – 2 of 2) sorted by relevance
61 uint32_t sc_saved_ipis[4]; member
396 sc->sc_saved_ipis[i] = bus_read_4(sc->sc_memr, OPENPIC_IPI_VECTOR(i)); in openpic_suspend()427 bus_write_4(sc->sc_memr, OPENPIC_IPI_VECTOR(i), sc->sc_saved_ipis[i]); in openpic_resume()