Searched defs:dprintf (Results 1 - 3 of 3) sorted by relevance

/seL4-refos-master/libs/libmuslc/src/stdio/
H A Ddprintf.c4 int dprintf(int fd, const char *restrict fmt, ...) function
/seL4-refos-master/libs/librefos/include/refos-util/
H A Ddprintf.h116 #define dprintf(...) printf("[00.%u] " COLOUR "%s | " \ macro
122 #define dprintf(...) macro
/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-util/
H A Ddprintf.h116 #define dprintf(...) printf("[00.%u] " COLOUR "%s | " \ macro
122 #define dprintf(...) macro

Completed in 57 milliseconds