Searched refs:leon_send_ipi (Results 1 – 1 of 1) sorted by relevance
305 static void leon_send_ipi(int cpu, int level) in leon_send_ipi() function320 leon_send_ipi(cpu, leon_ipi_irq); in leon_ipi_single()331 leon_send_ipi(cpu, leon_ipi_irq); in leon_ipi_mask_one()342 leon_send_ipi(cpu, leon_ipi_irq); in leon_ipi_resched()414 leon_send_ipi(i, LEON3_IRQ_CROSS_CALL); in leon_cross_call()
