HelenOS sources

BANK_SELECT_BIT   118 kernel/arch/mips32/src/mm/tlb.c 		if (BANK_SELECT_BIT(badvaddr) == 0) {
BANK_SELECT_BIT   186 kernel/arch/mips32/src/mm/tlb.c 		if (BANK_SELECT_BIT(badvaddr) == 0)
BANK_SELECT_BIT   251 kernel/arch/mips32/src/mm/tlb.c 		if (BANK_SELECT_BIT(badvaddr) == 0)