arch/powerpc/boot/stdio.h
tools/include/nolibc/stdio.h