Searched defs:format (Results 1 - 11 of 11) sorted by relevance

/seL4-test-master/projects/seL4_libs/libsel4debug/src/sel4_arch/aarch32/
H A Dunknown_syscall.c16 void debug_unknown_syscall_message(int (*printfn)(const char *format, ...), argument
H A Duser_exception.c16 void debug_user_exception_message(int (*printfn)(const char *format, ...), argument
/seL4-test-master/projects/seL4_libs/libsel4debug/src/sel4_arch/ia32/
H A Dunknown_syscall.c16 void debug_unknown_syscall_message(int (*printfn)(const char *format, ...), argument
H A Duser_exception.c16 void debug_user_exception_message(int (*printfn)(const char *format, ...), argument
/seL4-test-master/projects/seL4_libs/libsel4debug/src/
H A Dprintf.c19 debug_safe_printf(const char *format, ...) argument
/seL4-test-master/projects/util_libs/libutils/src/
H A Dxml.c21 utils_put_xml_escape(const char *string, int (*print)(void *arg, const char *format, ...) FORMAT(printf, 2, 3), void *arg) argument
/seL4-test-master/tools/riscv-pk/util/
H A Dsnprintf.c10 bool format = false; local
/seL4-test-master/tools/seL4/elfloader-tool/src/
H A Dprintf.c206 int printf(const char *format, argument
69 vxprintf(write_char_fn write_char, void *payload, const char *format, va_list args) argument
240 sprintf(char *buff, const char *format, ...) argument
[all...]
/seL4-test-master/tools/nanopb/
H A Dpb_common.c12 uint8_t format; local
/seL4-test-master/kernel/src/machine/
H A Dio.c587 word_t kprintf(const char *format, ...) argument
600 word_t ksnprintf(char *str, word_t size, const char *format, ...) argument
/seL4-test-master/tools/riscv-pk/machine/
H A Dfdt.c704 void fdt_print_printm(struct fdt_print_info *info, const char *format, ...) argument

Completed in 64 milliseconds