hash__pte_update_one
old = hash__pte_update_one(ptep, clr, set);
hash__pte_update_one(ptep + i, clr, set);