r4k_250MHZhwbug  1087 arch/mips/mm/tlbex.c 	if (r4k_250MHZhwbug())
r4k_250MHZhwbug  1093 arch/mips/mm/tlbex.c 	if (r4k_250MHZhwbug())