775 static void smp_cross_call(const struct cpumask *target, unsigned int ipinr);
863 static void do_handle_IPI(int ipinr)  in do_handle_IPI()  argument
867 	if ((unsigned)ipinr < NR_IPI)  in do_handle_IPI()
868 		trace_ipi_entry_rcuidle(ipi_types[ipinr]);  in do_handle_IPI()
870 	switch (ipinr) {  in do_handle_IPI()
912 		pr_crit("CPU%u: Unknown IPI message 0x%x\n", cpu, ipinr);  in do_handle_IPI()
916 	if ((unsigned)ipinr < NR_IPI)  in do_handle_IPI()
917 		trace_ipi_exit_rcuidle(ipi_types[ipinr]);  in do_handle_IPI()
926 static void smp_cross_call(const struct cpumask *target, unsigned int ipinr)  in smp_cross_call()  argument
928 	trace_ipi_raise(target, ipi_types[ipinr]);  in smp_cross_call()
929 	__ipi_send_mask(ipi_desc[ipinr], target);  in smp_cross_call()