HelenOS sources

printf             35 boot/generic/src/printf.c int printf(const char *fmt, ...)
printf             38 kernel/generic/src/printf/printf.c int printf(const char *fmt, ...)
printf             65 uspace/lib/c/generic/io/printf.c int printf(const char *fmt, ...)