Searched defs:printf (Results 1 - 5 of 5) sorted by relevance

/seL4-test-master/projects/musllibc/src/stdio/
H A Dprintf.c4 int printf(const char *restrict fmt, ...) function
/seL4-test-master/kernel/include/machine/
H A Dio.h32 #define printf(args...) kprintf(args) macro
37 #define printf(args...) ((void)(0)) macro
/seL4-test-master/projects/seL4_libs/libsel4test/include/sel4test/
H A Dmacros.h29 #define printf(x, ...) do {\ macro
/seL4-test-master/projects/seL4_libs/libsel4test/src/
H A Dtestutil.c41 #undef printf macro
[all...]
/seL4-test-master/tools/seL4/elfloader-tool/src/
H A Dprintf.c206 int printf(const char *format, ...) function

Completed in 51 milliseconds