bool result = (bool) thread_current()->get_return_value();
model->switch_to_master(new ModelAction(ATOMIC_RMW, __x__, (void *) __p__, true));
return result;
bool result = (bool) thread_current()->get_return_value();
model->switch_to_master(new ModelAction(ATOMIC_RMW, __x__, (void *) __p__, true));
return result;