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()
317 void sbi_send_ipi(unsigned int cpu) in sbi_send_ipi() function321 EXPORT_SYMBOL(sbi_send_ipi);
450 void sbi_send_ipi(unsigned int cpu);