changed name of destorying a mempool completely
authorGengbin Zheng <gzheng@illinois.edu>
Thu, 6 Oct 2011 17:32:26 +0000 (10:32 -0700)
committerGengbin Zheng <gzheng@illinois.edu>
Thu, 6 Oct 2011 17:32:26 +0000 (10:32 -0700)
commit0d15b6f7d5f72811cefa278f2a1b8e1add6c57bf
treed3929c6c5c00e30b5ab76568bc627b3513bb1ec2
parentbb9447d40aba1493f3502066bf798b9475f180fc
changed name of destorying a mempool completely
src/arch/gemini_gni/machine.c
src/arch/util/mempool.c
src/arch/util/mempool.h