Searched refs:sbi_send_ipi (Results 1 – 3 of 3) sorted by relevance
60 virq = ipi_mux_create(BITS_PER_BYTE, sbi_send_ipi); in sbi_ipi_init()
387 void sbi_send_ipi(unsigned int cpu) in sbi_send_ipi() function391 EXPORT_SYMBOL(sbi_send_ipi);
587 void sbi_send_ipi(unsigned int cpu);