build_pte_present
build_pte_present(&p, &r, GPR_K0, GPR_K1, -1, label_nopage_tlbl);
build_pte_present(&p, &r, wr.r1, wr.r2, wr.r3, label_nopage_tlbl);