'inline' in buddy.c is not necessary, remove them for portability(VxWorks do not support inline)