Searched refs:sbi_send_ipi (Results 1 – 2 of 2) sorted by relevance
75 static inline void sbi_send_ipi(const unsigned long *hart_mask) in sbi_send_ipi() function
88 sbi_send_ipi(cpumask_bits(to_whom)); in send_ipi_message()
