Searched refs:ipi_msg (Results 1 – 2 of 2) sorted by relevance
148 void handle_IPI(unsigned int ipi_msg) in handle_IPI() argument152 switch (ipi_msg) { in handle_IPI()169 WARN(1, "CPU%u: Unknown IPI message 0x%x\n", cpu, ipi_msg); in handle_IPI()
24 extern void handle_IPI(unsigned int ipi_msg);
Completed in 6 milliseconds