x86pte_cas
found = x86pte_cas(higher, entry, expect, 0);
static x86pte_t x86pte_cas(htable_t *ht, uint_t entry, x86pte_t old,
found = x86pte_cas(higher, entry, 0, newptp);