Searched refs:mpic_ipi_send (Results 1 – 1 of 1) sorted by relevance
152 void mpic_ipi_send(device_t, struct intr_irqsrc*, cpuset_t, u_int);386 DEVMETHOD(pic_ipi_send, mpic_ipi_send),567 mpic_ipi_send(device_t dev, struct intr_irqsrc *isrc, cpuset_t cpus, u_int ipi) in mpic_ipi_send() function