Searched refs:leon_send_ipi (Results 1 – 1 of 1) sorted by relevance
304 static void leon_send_ipi(int cpu, int level) in leon_send_ipi() function319 leon_send_ipi(cpu, leon_ipi_irq); in leon_ipi_single()330 leon_send_ipi(cpu, leon_ipi_irq); in leon_ipi_mask_one()341 leon_send_ipi(cpu, leon_ipi_irq); in leon_ipi_resched()413 leon_send_ipi(i, LEON3_IRQ_CROSS_CALL); in leon_cross_call()