smp_imb            35 arch/alpha/include/asm/cacheflush.h #define flush_icache_range(start, end)		smp_imb()
smp_imb            36 arch/alpha/include/asm/cacheflush.h extern void smp_imb(void);
smp_imb           619 arch/alpha/kernel/smp.c EXPORT_SYMBOL(smp_imb);