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

/seL4-camkes-master/tools/cogent/c-refinement/tests/stdlib/
H A Dstdio.h16 #define printf(...) (void)0 macro
H A Dstdlib.h14 #define printf(...) ((void)0) macro
/seL4-camkes-master/projects/musllibc/src/stdio/
H A Dprintf.c4 int printf(const char *restrict fmt, ...) function
/seL4-camkes-master/kernel/include/machine/
H A Dio.h32 #define printf(args...) kprintf(args) macro
37 #define printf(args...) ((void)(0)) macro
/seL4-camkes-master/projects/seL4_libs/libsel4test/include/sel4test/
H A Dmacros.h29 #define printf(x, ...) do {\ macro
/seL4-camkes-master/projects/seL4_libs/libsel4test/src/
H A Dtestutil.c41 #undef printf macro
[all...]
/seL4-camkes-master/tools/seL4/elfloader-tool/src/
H A Dprintf.c206 int printf(const char *format, ...) function
/seL4-camkes-master/tools/rumprun/platform/xen/librumpxen_xendev/
H A Dbusdev_user.c34 #define printf minios_printk macro

Completed in 203 milliseconds