tag	line	file	source code
smp_invalidate	83	include/asm-i386/pgtable.h	smp_invalidate()
smp_invalidate	184	include/asm-i386/smp.h	extern void smp_invalidate(void);