Searched refs:THREAD_NAME (Results 1 - 1 of 1) sorted by relevance
/seL4-refos-master/kernel/include/api/ | ||
H A D | types.h | 108 #define THREAD_NAME TCB_PTR_DEBUG_PTR(NODE_STATE(ksCurThread))->tcbName macro 110 #define THREAD_NAME "" macro 133 THREAD_NAME, \ |
Completed in 23 milliseconds