a better mempool interface that gets ride of uGNI specific stuff
authorGengbin Zheng <gzheng@illinois.edu>
Thu, 6 Oct 2011 17:26:00 +0000 (10:26 -0700)
committerGengbin Zheng <gzheng@illinois.edu>
Thu, 6 Oct 2011 17:26:00 +0000 (10:26 -0700)
commitbb9447d40aba1493f3502066bf798b9475f180fc
tree5655a44f0c1e0ecec415a883a03e7964c0ebb8b3
parentf807c2e66fbf54df7f34f003748036ac8ce44ed3
a better mempool interface that gets ride of uGNI specific stuff
src/arch/gemini_gni/machine.c
src/arch/util/mempool.c
src/arch/util/mempool.h