tag	line	file	source code
smp_message_irq	1160	arch/i386/kernel/smp.c	void smp_message_irq(int cpl, void *dev_id, struct pt_regs *regs)
smp_message_irq	629	arch/sparc/kernel/smp.c	void smp_message_irq(void)