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