Searched refs:dest_cpu (Results 1 – 2 of 2) sorted by relevance
150 send_IPI_single (int dest_cpu, int op) in send_IPI_single() argument152 set_bit(op, &cpu_data(dest_cpu)->ipi.operation); in send_IPI_single()153 platform_send_ipi(dest_cpu, IA64_IPI_VECTOR, IA64_IPI_DM_INT, 0); in send_IPI_single()
275 send_IPI_single(int dest_cpu, enum ipi_message_type op) in send_IPI_single() argument277 if (dest_cpu == NO_PROC_ID) { in send_IPI_single()282 ipi_send(dest_cpu, op); in send_IPI_single()