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

/seL4-test-master/projects/seL4_libs/libsel4debug/src/
H A Dtrace.c33 debug_safe_printf("ENTER: %p called from %p\n", func, caller);
38 debug_safe_printf("EXIT: %p returning to %p\n", func, caller);
H A Dprintf.c19 debug_safe_printf(const char *format, ...) function
/seL4-test-master/projects/seL4_libs/libsel4debug/include/sel4debug/
H A Ddebug.h24 debug_safe_printf(const char *format, ...)

Completed in 152 milliseconds