Searched refs:xics_intr_send_ipi (Results 1 – 1 of 1) sorted by relevance
51 void xics_intr_send_ipi(void *);72 sc->sc_ic.ic_send_ipi = xics_intr_send_ipi; in xics_attach()87 xics_intr_send_ipi(void *cookie) in xics_intr_send_ipi() function