Searched refs:TCB_NAME_LENGTH (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/kernel/include/object/
H A Dtcb.h18 #define TCB_NAME_LENGTH (BIT(seL4_TCBBits-1) - (tcbCNodeEntries * sizeof(cte_t)) - sizeof(debug_tcb_t)) macro
19 compile_assert(tcb_name_fits, TCB_NAME_LENGTH > 0)
/seL4-camkes-master/kernel/src/object/
H A Dobjecttype.c535 strlcpy(TCB_PTR_DEBUG_PTR(tcb)->tcbName, "child of: '", TCB_NAME_LENGTH);
536 strlcat(TCB_PTR_DEBUG_PTR(tcb)->tcbName, TCB_PTR_DEBUG_PTR(NODE_STATE(ksCurThread))->tcbName, TCB_NAME_LENGTH);
537 strlcat(TCB_PTR_DEBUG_PTR(tcb)->tcbName, "'", TCB_NAME_LENGTH); local
H A Dtcb.c2041 strlcpy(TCB_PTR_DEBUG_PTR(tcb)->tcbName, name, TCB_NAME_LENGTH);

Completed in 39 milliseconds