HelenOS sources

kio_vprintf       126 uspace/lib/c/generic/io/kio.c 	int ret = kio_vprintf(fmt, args);
kio_vprintf        51 uspace/lib/c/include/io/kio.h extern int kio_vprintf(const char *, va_list);
kio_vprintf        51 uspace/lib/posix/include/libc/io/kio.h extern int kio_vprintf(const char *, va_list);
HelenOS homepage, sources at GitHub