Searched refs:ipi_handler_t (Results 1 – 5 of 5) sorted by relevance
119 ipi_handler_t ipi_handler, in register_aic_handlers()207 ipi_handler_t ipi_handler; in cpu_boot_thread()
68 ipi_handler_t ipi_handler;
207 typedef void (*ipi_handler_t)(void); typedef
188 typedef void (*ipi_handler_t)(void); typedef492 processor_t *processor, ipi_handler_t *ipi_handler,
1286 processor_t *processor_out, ipi_handler_t *ipi_handler_out, in ml_processor_register()