tag	line	file	source code
smp_message_irq	417	arch/i386/kernel/irq.c	if (request_irq(13, smp_message_irq, SA_INTERRUPT, "IPI"))
smp_message_irq	184	include/asm-i386/smp.h	extern void smp_message_irq(int cpl, struct pt_regs *regs);