tag	line	file	source code
smp_reschedule_irq	1133	arch/i386/kernel/smp.c	void smp_reschedule_irq(int cpl, struct pt_regs *regs)
smp_reschedule_irq	138	arch/sparc/kernel/smp.c	void smp_reschedule_irq(int cpl, struct pt_regs *regs)