changed the mempool init size back
authorGengbin Zheng <gzheng@illinois.edu>
Thu, 6 Oct 2011 20:19:28 +0000 (13:19 -0700)
committerGengbin Zheng <gzheng@illinois.edu>
Thu, 6 Oct 2011 20:19:28 +0000 (13:19 -0700)
commita22690f75483d21545b2027bf58fc98f14121a13
tree4eb2f286943948c8a8fbb5b8aabcf9a57b75f1f3
parent251c334e174d11a5b659ac7f4c1afed89e2dab1f
changed the mempool init size back
src/arch/gemini_gni/machine.c