PG_INVAL
set_pte(va, PG_INVAL);
set_pte(va, PG_INVAL);
set_pte(va, PG_INVAL);
set_pte(va, PG_INVAL);
pmap, pgva, pte, PG_INVAL);
set_pte(pgva, PG_INVAL);
pmap, pgva, pte, PG_INVAL);
set_pte(pgva, PG_INVAL);
pmap, pgva, pte, PG_INVAL);
set_pte(pgva, PG_INVAL);
set_pte(tmp_vpages[0], PG_INVAL);
set_pte(tmp_vpages[1], PG_INVAL);
set_pte(tmp_vpages[0], PG_INVAL);
set_pte(temp_seg_va + va, PG_INVAL);
set_pte(pgva, PG_INVAL);
set_pte(va, PG_INVAL);
set_pte(va, PG_INVAL);
pmap, pgva, pte, PG_INVAL);
set_pte(pgva, PG_INVAL);
pmap, pgva, pte, PG_INVAL);
set_pte(pgva, PG_INVAL);
pmap, pgva, pte, PG_INVAL);
set_pte(pgva, PG_INVAL);
set_pte(tmp_vpages[0], PG_INVAL);
set_pte(tmp_vpages[0], PG_INVAL);
set_pte(tmp_vpages[0], PG_INVAL);
set_pte(va, PG_INVAL);