generalize mempool so that one can create multiple instances of it.
[charm.git] / src / arch / gemini_gni / mempool.h
2011-07-28 Gengbin Zhengrenamed gemini-gni to gemini_gni