atomic_cmpset_64
atomic_cmpset_64(&pte->tag, tag, 1UL << 63);
#define atomic_cmpset_long atomic_cmpset_64
} while (!atomic_cmpset_64(p, val, 0));
} while (!atomic_cmpset_64(p, value, value + v));