- raceCheckRead(tid, (void *)(((uintptr_t)addr)+1), cv);
- raceCheckRead(tid, (void *)(((uintptr_t)addr)+2), cv);
- raceCheckRead(tid, (void *)(((uintptr_t)addr)+3), cv);
- raceCheckRead(tid, (void *)(((uintptr_t)addr)+4), cv);
- raceCheckRead(tid, (void *)(((uintptr_t)addr)+5), cv);
- raceCheckRead(tid, (void *)(((uintptr_t)addr)+6), cv);
- raceCheckRead(tid, (void *)(((uintptr_t)addr)+7), cv);
+ raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 1), cv);
+ raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 2), cv);
+ raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 3), cv);
+ raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 4), cv);
+ raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 5), cv);
+ raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 6), cv);
+ raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 7), cv);