| /seL4-refos-master/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-refos-master/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-refos-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-refos-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-refos-master/libs/libsel4debug/src/ |
| H A D | printf.c | 19 debug_safe_printf(const char *format, ...) argument
|
| /seL4-refos-master/projects/seL4_libs/libsel4debug/src/ |
| H A D | printf.c | 19 debug_safe_printf(const char *format, ...) argument
|
| /seL4-refos-master/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-refos-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-refos-master/seL4_tools/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-refos-master/tools/elfloader/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-refos-master/libs/libvterm/src/ |
| H A D | vterm.c | 122 void vterm_push_output_vsprintf(VTerm *vt, const char *format, va_list args) argument
130 void vterm_push_output_sprintf(VTerm *vt, const char *format, ...) argument
|
| /seL4-refos-master/projects/refos/impl/libs/libvterm/src/ |
| H A D | vterm.c | 122 void vterm_push_output_vsprintf(VTerm *vt, const char *format, va_list args) argument
130 void vterm_push_output_sprintf(VTerm *vt, const char *format, ...) argument
|
| /seL4-refos-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
|