Searched refs:sun4d_send_ipi (Results 1 – 3 of 3) sorted by relevance
242 extern __inline__ void sun4d_send_ipi(int cpu, int level) in sun4d_send_ipi() function
372 sun4d_send_ipi(i, IRQ_CROSS_CALL); in smp4d_cross_call()
370 sun4d_send_ipi(cpu, level); in sun4d_set_cpu_int()