only add padding for 32 bit
authorGengbin Zheng <gzheng@illinois.edu>
Sun, 18 Mar 2012 23:12:06 +0000 (16:12 -0700)
committerGengbin Zheng <gzheng@illinois.edu>
Sun, 18 Mar 2012 23:12:06 +0000 (16:12 -0700)
commite245a98498fa5fb5f5282a5dbf819fc5c3aeb45e
tree95d23e76debd0059087d29def30c09768dc86a01
parenta9a702a133a86a9eaad2884a37542d0054d663db
only add padding for 32 bit
src/arch/util/mempool.h