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

/seL4-refos-master/libs/libmuslc/src/stdio/
H A Dvprintf.c3 int vprintf(const char *restrict fmt, va_list ap) function
/seL4-refos-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-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/
H A Dglobal.h276 #define Vprintf (void) vprintf
H A Dsystem.h481 E int FDECL(vprintf, (const char *, va_list));
486 # define vprintf printf macro
H A Dwceconf.h329 extern int __cdecl vprintf(const char *format, va_list args);
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/
H A Dglobal.h276 #define Vprintf (void) vprintf
H A Dsystem.h481 E int FDECL(vprintf, (const char *, va_list));
486 # define vprintf printf macro
H A Dwceconf.h329 extern int __cdecl vprintf(const char *format, va_list args);
/seL4-refos-master/libs/libmuslc/include/
H A Dstdio.h107 int vprintf(const char *__restrict, __isoc_va_list);

Completed in 60 milliseconds