Searched refs:leon_send_ipi (Results 1 – 1 of 1) sorted by relevance
303 static void leon_send_ipi(int cpu, int level) in leon_send_ipi() function318 leon_send_ipi(cpu, leon_ipi_irq); in leon_ipi_single()329 leon_send_ipi(cpu, leon_ipi_irq); in leon_ipi_mask_one()340 leon_send_ipi(cpu, leon_ipi_irq); in leon_ipi_resched()412 leon_send_ipi(i, LEON3_IRQ_CROSS_CALL); in leon_cross_call()