Searched defs:format (Results 1 - 11 of 11) sorted by relevance
/seL4-test-master/projects/seL4_libs/libsel4debug/src/sel4_arch/aarch32/ |
H A D | unknown_syscall.c | 16 void debug_unknown_syscall_message(int (*printfn)(const char *format, ...), argument
|
H A D | user_exception.c | 16 void debug_user_exception_message(int (*printfn)(const char *format, ...), argument
|
/seL4-test-master/projects/seL4_libs/libsel4debug/src/sel4_arch/ia32/ |
H A D | unknown_syscall.c | 16 void debug_unknown_syscall_message(int (*printfn)(const char *format, ...), argument
|
H A D | user_exception.c | 16 void debug_user_exception_message(int (*printfn)(const char *format, ...), argument
|
/seL4-test-master/projects/seL4_libs/libsel4debug/src/ |
H A D | printf.c | 19 debug_safe_printf(const char *format, ...) argument
|
/seL4-test-master/projects/util_libs/libutils/src/ |
H A D | xml.c | 21 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 D | snprintf.c | 10 bool format = false; local
|
/seL4-test-master/tools/seL4/elfloader-tool/src/ |
H A D | printf.c | 206 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 D | pb_common.c | 12 uint8_t format; local
|
/seL4-test-master/kernel/src/machine/ |
H A D | io.c | 587 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 D | fdt.c | 704 void fdt_print_printm(struct fdt_print_info *info, const char *format, ...) argument
|
Completed in 64 milliseconds