UpdateAllocationInfo 1191 src/spaces.cc    UpdateAllocationInfo();
UpdateAllocationInfo 1227 src/spaces.cc    UpdateAllocationInfo();
UpdateAllocationInfo 2280 src/spaces.h     void UpdateAllocationInfo();