Searched defs:send_IPI_single (Results 1 – 3 of 3) sorted by relevance
55 void send_IPI_single(int cpu, int tag) in send_IPI_single() function
145 send_IPI_single (int dest_cpu, int op) in send_IPI_single() function
221 send_IPI_single(int dest_cpu, enum ipi_message_type op) in send_IPI_single() function