IPI_SYNCH_ID
ipi_intrs[IPI_SYNCH_ID].func = ipi_msg_cpu_handler;
KASSERT(i != IPI_SYNCH_ID);
KASSERT(ipi_id != IPI_SYNCH_ID);
ipi_trigger(IPI_SYNCH_ID, ci);
ipi_trigger(IPI_SYNCH_ID, ci);
ipi_trigger(IPI_SYNCH_ID, ci);