From f707e696db9abf668ef1a366e1712fb914eea44c Mon Sep 17 00:00:00 2001
From: Nam Nguyen <namn@berkeley.edu>
Date: Mon, 9 Sep 2019 16:49:19 +0000
Subject: [PATCH] glpMsgTbl stores 64-bit pointers to turn_t variables. This
 won't fit inside int.

---
 Source/nthread.cpp | 2 +-
 Source/nthread.h   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/Source/nthread.cpp b/Source/nthread.cpp
index dc4343578..a26d52bdb 100644
--- a/Source/nthread.cpp
+++ b/Source/nthread.cpp
@@ -9,7 +9,7 @@ static CCritSect sgMemCrit;
 DWORD gdwDeltaBytesSec;
 BOOLEAN nthread_should_run;
 DWORD gdwTurnsInTransit;
-int glpMsgTbl[MAX_PLRS];
+uintptr_t glpMsgTbl[MAX_PLRS];
 unsigned int glpNThreadId;
 char sgbSyncCountdown;
 int turn_upper_bit;
diff --git a/Source/nthread.h b/Source/nthread.h
index 84263e95f..2a27b78fc 100644
--- a/Source/nthread.h
+++ b/Source/nthread.h
@@ -7,7 +7,7 @@ extern DWORD gdwMsgLenTbl[MAX_PLRS];
 extern DWORD gdwDeltaBytesSec;
 extern BOOLEAN nthread_should_run;
 extern DWORD gdwTurnsInTransit;
-extern int glpMsgTbl[MAX_PLRS];
+extern uintptr_t glpMsgTbl[MAX_PLRS];
 extern unsigned int glpNThreadId;
 extern int turn_upper_bit;
 extern BOOLEAN sgbThreadIsRunning;