Searched defs:pic_ipi_send (Results 1 – 2 of 2) sorted by relevance
199 pic_ipi_send(void *arg, cpuset_t cpus, u_int ipi) in pic_ipi_send() function
322 pic_ipi_send(void *arg, cpuset_t cpus, u_int ipi) in pic_ipi_send() function