compute_tlbie_rb
rb = compute_tlbie_rb(hp0, hp1, pte_index);
rb = compute_tlbie_rb(hp0, hp1, pte_index);
rb = compute_tlbie_rb(v, pte_r, pte_index);
tlbrb[n] = compute_tlbie_rb(hp0, hp1, pte_index);
rb = compute_tlbie_rb(v, r, pte_index);
rb = compute_tlbie_rb(pte[0], pte[1], pte_index);
rb = compute_tlbie_rb(pte[0], pte[1],
rb = compute_tlbie_rb(v, r, pte_index);