Searched refs:thread_name (Results 1 - 2 of 2) sorted by relevance
/seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
H A D | component.common.c | 557 char thread_name[seL4_MsgMaxLength * sizeof(seL4_Word)]; local 558 snprintf(thread_name, sizeof(thread_name), "%s:%s", 560 thread_name[sizeof(thread_name) - 1] = '\0'; 561 seL4_DebugNameThread(camkes_get_tls()->tcb_cap, thread_name); 593 const char *thread_name; local 605 thread_name = "/*? t.name ?*/"; 641 thread_name = "<unknown>"; 646 camkes_show_fault(info, (seL4_CPtr)badge, thread_name, [all...] |
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/ |
H A D | thread.c | 231 void sel4utils_print_fault_message(seL4_MessageInfo_t tag, const char *thread_name) argument 240 thread_name, 253 thread_name, 265 thread_name, 272 COLOR_ERROR, thread_name, 280 printf("Timeout fault from %s\n", thread_name); 286 printf("Unknown fault from [%s]: %"PRIuPTR" (length = %"PRIuPTR")\n", thread_name, seL4_MessageInfo_get_label(tag), seL4_MessageInfo_get_length(tag));
|
Completed in 39 milliseconds