ipi_msg_cpu_handler
ipi_intrs[IPI_SYNCH_ID].func = ipi_msg_cpu_handler;
static void ipi_msg_cpu_handler(void *);