- thread_id_t tid=thread_current()->get_id();
- ClockVector * cv=model->get_cv(tid);
- raceCheckWrite(tid, addr, cv);
- raceCheckWrite(tid, (void *)(((uintptr_t)addr)+1), cv);
- raceCheckWrite(tid, (void *)(((uintptr_t)addr)+2), cv);
- raceCheckWrite(tid, (void *)(((uintptr_t)addr)+3), cv);
- raceCheckWrite(tid, (void *)(((uintptr_t)addr)+4), cv);
- raceCheckWrite(tid, (void *)(((uintptr_t)addr)+5), cv);
- raceCheckWrite(tid, (void *)(((uintptr_t)addr)+6), cv);
- raceCheckWrite(tid, (void *)(((uintptr_t)addr)+7), cv);
+ thread_id_t tid = thread_current()->get_id();
+ raceCheckWrite(tid, addr);
+ raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 1));
+ raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 2));
+ raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 3));
+ raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 4));
+ raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 5));
+ raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 6));
+ raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 7));