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