atomic_and64
extern int64 atomic_and64(int64 *value, int64 andValue);
int64 oldValue = atomic_and64(value, andValue);
atomic_and64((int64_t*)ptePtr, ~kAttrAF);
return atomic_and64((int64*)entry, ~flags);
atomic_and64(int64_t* ptr, int64_t value)
return atomic_and64((int64*)value, andValue);