tag	line	file	source code
smp_invalidate_rcv	196	arch/i386/kernel/traps.c	smp_invalidate_rcv();
smp_invalidate_rcv	190	include/asm-i386/smp.h	extern void smp_invalidate_rcv(void);    /* Process an NMI */