Функция printf вызывает функцию __write. Читайте Compiler Reference:
Цитата
To implement low-level functionality of the stdin and stdout streams, you must write the functions __read and __write, respectively. You can find template source code for these functions in the arm/src directory.