On Wed, Jan 14, 2015 at 10:38:54AM +0000, Kevin Hao wrote: > The arm64 doesn't depend on the libgcc to build the vmlinux image. Yes it does; we make use of __builtin_* for our bitops, for example. The compiler guys don't guarantee that these will be inlined. Will