Searched refs:intr_ipi_handler_t (Results 1 – 2 of 2) sorted by relevance
157 typedef void intr_ipi_handler_t(void *); typedef160 void intr_ipi_setup(u_int ipi, const char *name, intr_ipi_handler_t *hand,
136 intr_ipi_handler_t *ii_handler;1844 intr_ipi_setup(u_int ipi, const char *name, intr_ipi_handler_t *hand,