835 static void smp_cross_call(const struct cpumask *target, unsigned int ipinr);
955 static void do_handle_IPI(int ipinr)  in do_handle_IPI()  argument
959 	if ((unsigned)ipinr < NR_IPI)  in do_handle_IPI()
960 		trace_ipi_entry(ipi_types[ipinr]);  in do_handle_IPI()
962 	switch (ipinr) {  in do_handle_IPI()
1006 		pr_crit("CPU%u: Unknown IPI message 0x%x\n", cpu, ipinr);  in do_handle_IPI()
1010 	if ((unsigned)ipinr < NR_IPI)  in do_handle_IPI()
1011 		trace_ipi_exit(ipi_types[ipinr]);  in do_handle_IPI()
1020 static void smp_cross_call(const struct cpumask *target, unsigned int ipinr)  in smp_cross_call()  argument
1022 	trace_ipi_raise(target, ipi_types[ipinr]);  in smp_cross_call()
1023 	__ipi_send_mask(ipi_desc[ipinr], target);  in smp_cross_call()