MMU_TIB
*b_idx = MMU_TIB(va);
b_idx = MMU_TIB(va); /* Calculate the TIB of the VA */
b_idx = MMU_TIB(startva);
idx = MMU_TIB(sva);
idx = MMU_TIB(nstart);
idx = MMU_TIB(nend);