Searched refs:tcbName (Results 1 – 8 of 8) sorted by relevance
| /seL4-master/include/api/ |
| A D | debug.h | 72 printf("Current thread: %s\n", TCB_PTR_DEBUG_PTR(tptr)->tcbName); in debug_printUserState()
80 printf("%40s\t", TCB_PTR_DEBUG_PTR(tcb)->tcbName); in debug_printTCB()
|
| A D | types.h | 108 #define THREAD_NAME TCB_PTR_DEBUG_PTR(NODE_STATE(ksCurThread))->tcbName
|
| /seL4-master/src/object/ |
| A D | objecttype.c | 538 strlcpy(TCB_PTR_DEBUG_PTR(tcb)->tcbName, "child of: '", TCB_NAME_LENGTH); in createObject()
539 …strlcat(TCB_PTR_DEBUG_PTR(tcb)->tcbName, TCB_PTR_DEBUG_PTR(NODE_STATE(ksCurThread))->tcbName, TCB_… in createObject()
540 strlcat(TCB_PTR_DEBUG_PTR(tcb)->tcbName, "'", TCB_NAME_LENGTH); in createObject()
|
| A D | tcb.c | 2041 strlcpy(TCB_PTR_DEBUG_PTR(tcb)->tcbName, name, TCB_NAME_LENGTH); in setThreadName()
|
| /seL4-master/src/kernel/ |
| A D | faulthandler.c | 162 printf("\nin thread %p \"%s\" ", tptr, TCB_PTR_DEBUG_PTR(tptr)->tcbName); in handleNoFaultHandler()
|
| /seL4-master/src/api/ |
| A D | syscall.c | 85 … printf("Debug halt syscall from user thread %p \"%s\"\n", tptr, TCB_PTR_DEBUG_PTR(tptr)->tcbName); in handleUnknownSyscall()
91 tptr, TCB_PTR_DEBUG_PTR(tptr)->tcbName); in handleUnknownSyscall()
281 printf(" \"NAME\":\"%s\",\n", TCB_PTR_DEBUG_PTR(curr)->tcbName); in handleUnknownSyscall()
|
| /seL4-master/src/machine/ |
| A D | capdl.c | 72 return (strings_equal(TCB_PTR_DEBUG_PTR(tcb)->tcbName, "rootserver") in root_or_idle_tcb()
73 || strings_equal(TCB_PTR_DEBUG_PTR(tcb)->tcbName, "idle_thread")); in root_or_idle_tcb()
|
| /seL4-master/include/object/ |
| A D | structures.h | 324 char tcbName[]; member
|
Completed in 13 milliseconds