tbi_flag           43 arch/alpha/include/asm/tlbflush.h 	int tbi_flag = 2;
tbi_flag           46 arch/alpha/include/asm/tlbflush.h 		tbi_flag = 3;
tbi_flag           48 arch/alpha/include/asm/tlbflush.h 	tbi(tbi_flag, addr);