set_pte
void set_pte(vaddr_t, u_int);
set_pte(va, PG_INVAL);
set_pte(va, pte);
set_pte(va, pte);
set_pte(va, PG_INVAL);
set_pte(va, pte);
set_pte(va, PG_INVAL);
set_pte(va, PG_INVAL);
set_pte(va, pte);
set_pte(va, pte);
set_pte(va, pte);
set_pte(pgva, new_pte);
set_pte(pgva, new_pte);
set_pte(va, new_pte);
set_pte(pgva, PG_INVAL);
set_pte(pgva, pte);
set_pte(pgva, pte);
set_pte(pgva, PG_INVAL);
set_pte(pgva, PG_INVAL);
set_pte(tmp_vpages[0], pte);
set_pte(tmp_vpages[1], pte);
set_pte(tmp_vpages[0], PG_INVAL);
set_pte(tmp_vpages[1], PG_INVAL);
set_pte(tmp_vpages[0], pte);
set_pte(tmp_vpages[0], PG_INVAL);
set_pte(va, pte);
set_pte(pgva, tmppte);
set_pte(ctx->pgva, ctx->opte);
set_pte(temp_seg_va + va, PG_INVAL);
set_pte(va, swapin[pte_number]);
void set_pte(vaddr_t va, u_int pte);
set_pte(pgva, pte);
set_pte(pgva, PG_INVAL);
set_pte(pgva, pte);
set_pte(va, pte);
set_pte(va, pte);
set_pte(va, PG_INVAL);
set_pte(va, PG_INVAL);
set_pte(va, pte);
set_pte(va, pte);
set_pte(va, pte);
set_pte(va, pte);
set_pte(pgva, new_pte);
set_pte(pgva, new_pte);
set_pte(va, new_pte);
set_pte(pgva, PG_INVAL);
set_pte(pgva, pte);
set_pte(pgva, pte);
set_pte(pgva, PG_INVAL);
set_pte(pgva, PG_INVAL);
set_pte(tmp_vpages[0], pte);
set_pte(tmp_vpages[1], pte);
set_pte(tmp_vpages[0], PG_INVAL);
set_pte(tmp_vpages[0], PG_INVAL);
set_pte(tmp_vpages[0], pte);
set_pte(tmp_vpages[0], PG_INVAL);
set_pte(va, pte);
set_pte(pgva, tmppte);
set_pte(ctx->pgva, ctx->opte);
set_pte(va, PG_INVAL);
set_pte(pgva, tmppte);
set_pte(ctx->pgva, ctx->opte);