CAS_PTE
old = CAS_PTE(ptep, prev, n);
pte = CAS_PTE(ptep, old, new);
found = CAS_PTE(ptep, oldpte, 0);
found = CAS_PTE(ptep, expect, new);
CAS_PTE(ptep, found, found | PT_WRITABLE);