Searched refs:sun4d_send_ipi (Results 1 – 3 of 3) sorted by relevance
231 static inline void sun4d_send_ipi(int cpu, int level) in sun4d_send_ipi() function
248 sun4d_send_ipi(i, IRQ_CROSS_CALL); in smp4d_cross_call()
393 sun4d_send_ipi(cpu, level); in sun4d_set_cpu_int()