Searched refs:vprintf (Results 1 - 3 of 3) sorted by relevance

/seL4-test-master/projects/musllibc/src/stdio/
H A Dvprintf.c3 int vprintf(const char *restrict fmt, va_list ap) function
/seL4-test-master/kernel/src/machine/
H A Dio.c27 * structure to allow a generic vprintf
568 static int vprintf(out_wrap_t *out, const char *fmt, va_list ap) function
595 ret = vprintf(&out, format, args);
608 i = vprintf(&out, format, args);
/seL4-test-master/projects/musllibc/include/
H A Dstdio.h107 int vprintf(const char *__restrict, __isoc_va_list);

Completed in 31 milliseconds