setpgt4m
setpgt4m(&sp->sg_pte[k],
setpgt4m(&sp->sg_pte[k],
setpgt4m(&sp->sg_pte[i], te | PPROT_U2S_OMASK);
setpgt4m(&cpi->ctx_tbl[cnum],
setpgt4m(&cpi->ctx_tbl[ctx], SRMMU_TEINVALID);
setpgt4m(&cpuinfo.ctx_tbl[0],
setpgt4m(&pmap_kernel()->pm_reg_ptps[0][reg + VA_VREG(KERNBASE)],
setpgt4m(&rp->rg_seg_ptps[seg],
setpgt4m(ptep, 0);
setpgt4m(ptep, pte);
setpgt4m(&ctxtable[0],
setpgt4m(®table[vr],
setpgt4m(&segtable[vs],
setpgt4m(&pagtable[vpg],
setpgt4m(upt++, SRMMU_TEINVALID);
setpgt4m(upt++, kpt[i]);
setpgt4m(&rp->rg_seg_ptps[vs], SRMMU_TEINVALID);
setpgt4m(&pm->pm_reg_ptps[n][vr], SRMMU_TEINVALID);
void setpgt4m(int *ptep, int pte);
setpgt4m(&sp->sg_pte[VA_SUN4M_VPG(va)], pteproto);
setpgt4m(&ptd[i], SRMMU_TEINVALID);
setpgt4m(&pm->pm_reg_ptps[i][vr],
setpgt4m(&pte[i], SRMMU_TEINVALID);
setpgt4m(&rp->rg_seg_ptps[vs],
setpgt4m(&sp->sg_pte[VA_SUN4M_VPG(va)], pteproto);
setpgt4m(&sp->sg_pte[VA_SUN4M_VPG(va)], pteproto);
setpgt4m(cpuinfo.vpage_pte[0], pte);
setpgt4m(cpuinfo.vpage_pte[0], SRMMU_TEINVALID);
setpgt4m(cpuinfo.vpage_pte[0], pte);
setpgt4m(cpuinfo.vpage_pte[0], SRMMU_TEINVALID);
setpgt4m(cpuinfo.vpage_pte[0], spte);
setpgt4m(cpuinfo.vpage_pte[1], dpte);
setpgt4m(cpuinfo.vpage_pte[0], SRMMU_TEINVALID);
setpgt4m(cpuinfo.vpage_pte[1], SRMMU_TEINVALID);
setpgt4m(cpuinfo.vpage_pte[0], spte);
setpgt4m(cpuinfo.vpage_pte[1], dpte);
setpgt4m(cpuinfo.vpage_pte[0], SRMMU_TEINVALID);
setpgt4m(cpuinfo.vpage_pte[1], SRMMU_TEINVALID);
setpgt4m(ptep, pte);
setpgt4m(sp->sg_pte + VA_SUN4M_VPG(va), pte);