tag	line	file	source code
tbi	24	arch/alpha/mm/fault.c	extern void tbi(unsigned long type, unsigned long arg);
tbi	25	arch/alpha/mm/fault.c	#define tbisi(x) tbi(1,(x))
tbi	26	arch/alpha/mm/fault.c	#define tbisd(x) tbi(2,(x))
tbi	27	arch/alpha/mm/fault.c	#define tbis(x)  tbi(3,(x))