rename gni_mem_handle_t to mem_handle_t and change the type to size_t
authorGengbin Zheng <gzheng@illinois.edu>
Tue, 11 Oct 2011 10:16:35 +0000 (05:16 -0500)
committerGengbin Zheng <gzheng@illinois.edu>
Tue, 11 Oct 2011 10:16:35 +0000 (05:16 -0500)
commit68b7e069ca59e1a4cf8f249f8abdf0574efd6de3
tree49b981c96f53c957030c2036bab017316221c07f
parent161f716f4a0933c84669ffded76ec32e8b3b4e10
rename gni_mem_handle_t to mem_handle_t and change the type to size_t
src/arch/util/mempool.c
src/arch/util/mempool.h