544 static void smp_cross_call(const struct cpumask *target, unsigned int ipinr);
633 static void do_handle_IPI(int ipinr)  in do_handle_IPI()  argument
637 	if ((unsigned)ipinr < NR_IPI)  in do_handle_IPI()
638 		trace_ipi_entry(ipi_types[ipinr]);  in do_handle_IPI()
640 	switch (ipinr) {  in do_handle_IPI()
680 		        cpu, ipinr);  in do_handle_IPI()
684 	if ((unsigned)ipinr < NR_IPI)  in do_handle_IPI()
685 		trace_ipi_exit(ipi_types[ipinr]);  in do_handle_IPI()
689 void handle_IPI(int ipinr, struct pt_regs *regs)  in handle_IPI()  argument
694 	do_handle_IPI(ipinr);  in handle_IPI()
706 static void smp_cross_call(const struct cpumask *target, unsigned int ipinr)  in smp_cross_call()  argument
708 	trace_ipi_raise(target, ipi_types[ipinr]);  in smp_cross_call()
709 	__ipi_send_mask(ipi_desc[ipinr], target);  in smp_cross_call()