mempool_malloc and free now handles pointers starts from mempool_header.
authorGengbin Zheng <gzheng@illinois.edu>
Fri, 7 Oct 2011 22:30:09 +0000 (15:30 -0700)
committerGengbin Zheng <gzheng@illinois.edu>
Fri, 7 Oct 2011 22:30:09 +0000 (15:30 -0700)
commit9580d4db426f00e8330d44490ccf663a577d0d77
tree669642247265f711e7f9b893f8c1e6d322e94d76
parent880ec8df62b984591968ebef857cd60d9284fa6b
mempool_malloc and free now handles pointers starts from mempool_header.
src/arch/gemini_gni/machine.c
src/arch/util/mempool.c
src/arch/util/mempool.h