Searched refs:thread_name (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dcomponent.common.c557 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 Dthread.c231 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