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