taglinefilesource code
smp_invalidate1009arch/i386/kernel/smp.cvoid smp_invalidate(void)
smp_invalidate107arch/sparc/kernel/smp.cinline void smp_invalidate(int type, unsigned long a, unsigned long b, unsigned long c)