atomic_get_and_set64
extern int64 atomic_get_and_set64(int64* value, int64 newValue);
return (PointerType*)atomic_get_and_set64((int64*)_pointer, (int64)set);
int64 oldValue = atomic_get_and_set64(value, newValue);
uint64_t oldPte = (uint64_t) atomic_get_and_set64((int64*) &pt[i], 0);
uint64_t oldPte = atomic_get_and_set64((int64_t*)ptePtr, 0);
oldPte = atomic_get_and_set64((int64_t*)ptePtr, 0);
uint64_t oldPte = atomic_get_and_set64((int64_t*)ptePtr, 0);
return atomic_get_and_set64((int64*)entry, newEntry);
atomic_get_and_set64(int64_t* ptr, int64_t value)
return atomic_get_and_set64((int64*)value, newValue);