margin_kb 248 core/lib_thumb.c unsigned margin_kb = raw_kb/4; margin_kb 249 core/lib_thumb.c if(free_kb <= raw_kb + margin_kb) { margin_kb 252 core/lib_thumb.c free_kb -= margin_kb;