LEON3_IRQ_CROSS_CALL
leon_enable_irq_cpu(LEON3_IRQ_CROSS_CALL, me);
leon_enable_irq_cpu(LEON3_IRQ_CROSS_CALL, i);
leon_send_ipi(i, LEON3_IRQ_CROSS_CALL);