tag	line	file	source code
smp_invalidate	79	include/asm-i386/page.h	smp_invalidate();
smp_invalidate	181	include/asm-i386/smp.h	extern void smp_invalidate(void);