On 26 July 2011 10:01, Dr. David Alan Gilbert <david.gilb...@linaro.org> wrote: > > + > +extern unsigned int __write(int fd, const void *buf, unsigned int count);
Why are we using __write instead of write? A comment elaborating that this file should only be in the static libgcc and never in the dynamic libgcc would be useful, given that the constructor is only pulled in only if a 64 bit sync primitive is referred to. cheers Ramana