static void ps3pic_ipi(device_t dev, u_int cpu) { struct ps3pic_softc *sc; sc = device_get_softc(dev); lv1_send_event_locally(sc->sc_ipi_outlet[cpu]); }
int ps3_send_event_locally(unsigned int virq) { return lv1_send_event_locally(virq_to_hw(virq)); }