Searched refs:intr_ipi_handler_t (Results 1 – 2 of 2) sorted by relevance
160 typedef void intr_ipi_handler_t(void *); typedef163 void intr_ipi_setup(u_int ipi, const char *name, intr_ipi_handler_t *hand,
138 intr_ipi_handler_t *ii_handler;1864 intr_ipi_setup(u_int ipi, const char *name, intr_ipi_handler_t *hand,