Re: Bitmap size in buddy_alloc.cpp