tag	line	file	source code
imb	332	arch/alpha/kernel/signal.c	imb();
imb	71	include/asm-alpha/mmu_context.h	tbiap(); imb();
imb	62	include/asm-alpha/system.h	extern void imb(void);