- //DEBUG("addr = %p, val = %" PRIu64 "\n", addr, val);
- 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));
+ //DEBUG("addr = %p, val = %" PRIu64 "\n", addr, val);
+ if (!model)
+ return;
+ thread_id_t tid = thread_current_id();
+ raceCheckWrite64(tid, addr);
+}
+
+void cds_load8(const void *addr) {
+ if (!model)
+ return;
+ thread_id_t tid = thread_current_id();
+ raceCheckRead8(tid, addr);