Searched refs:intr_ipi_send_t (Results 1 – 3 of 3) sorted by relevance
55 typedef void intr_ipi_send_t(void *, cpuset_t, u_int); typedef62 intr_ipi_send_t *, void *);
60 intr_ipi_send_t * ii_send;177 void *h_arg, intr_ipi_send_t *send, void *s_arg) in intr_ipi_setup()
101 typedef void intr_ipi_send_t(void *, cpuset_t, u_int); typedef108 intr_ipi_send_t * ii_send;