Searched defs:THREAD_NAME (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/api/
H A Dtypes.h117 #define THREAD_NAME NODE_STATE(ksCurThread)->tcbName macro
119 #define THREAD_NAME "" macro

Completed in 25 milliseconds