Searched refs:ipi_msg (Results 1 – 3 of 3) sorted by relevance
98 unsigned int ipi_msg) in ompic_raise_softirq() argument104 set_bit(ipi_msg, &per_cpu(ops, dst_cpu)); in ompic_raise_softirq()135 unsigned long ipi_msg; in ompic_ipi_handler() local137 ipi_msg = __ffs(ops); in ompic_ipi_handler()138 ops &= ~(1UL << ipi_msg); in ompic_ipi_handler()140 handle_IPI(ipi_msg); in ompic_ipi_handler()
144 void handle_IPI(unsigned int ipi_msg) in handle_IPI() argument148 switch (ipi_msg) { in handle_IPI()165 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);
