Searched refs:sc_ipi_outlet (Results 1 – 1 of 1) sorted by relevance
64 uint64_t sc_ipi_outlet[2]; member143 lv1_construct_event_receive_port(&sc->sc_ipi_outlet[0]); in ps3pic_attach()145 sc->sc_ipi_outlet[0], 0); in ps3pic_attach()146 lv1_construct_event_receive_port(&sc->sc_ipi_outlet[1]); in ps3pic_attach()148 sc->sc_ipi_outlet[1], 0); in ps3pic_attach()212 lv1_send_event_locally(sc->sc_ipi_outlet[cpu]); in ps3pic_ipi()