r45k_bvahwbug    1084 arch/mips/mm/tlbex.c 	if (r45k_bvahwbug())
r45k_bvahwbug    1091 arch/mips/mm/tlbex.c 	if (r45k_bvahwbug())