more changes

diff --git a/Robust/src/Runtime/bamboo/multicoregarbage.h b/Robust/src/Runtime/bamboo/multicoregarbage.h
index f5444441614bac7157d8b57eac233de477e920cc..83e945756a160dffb1f9c93f5977373a3675af94 100644 (file)
--- a/Robust/src/Runtime/bamboo/multicoregarbage.h
+++ b/Robust/src/Runtime/bamboo/multicoregarbage.h
@@ -108,9 +108,9 @@ int * gcsbstarttbl;
 unsigned int gcsbstarttbl_len;
 #endif
 unsigned int gcnumblock; // number of total blocks in the shared mem
-unsigned int gcbaseva; // base va for shared memory without reserved sblocks
+void * gcbaseva; // base va for shared memory without reserved sblocks
 #ifdef GC_CACHE_ADAPT
-unsigned int gctopva; // top va for shared memory without reserved sblocks
+void * gctopva; // top va for shared memory without reserved sblocks
 volatile bool gccachestage;
 // table recording the sampling data collected for cache adaption 
 int * gccachesamplingtbl;