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

/seL4-l4v-10.1.1/seL4/include/object/
H A Dtcb.h23 #define TCB_NAME_LENGTH (BIT(seL4_TCBBits) - TCB_OFFSET - sizeof(tcb_t)) macro
24 compile_assert(tcb_name_fits, TCB_NAME_LENGTH > 0)
/seL4-l4v-10.1.1/seL4/src/object/
H A Dobjecttype.c447 strlcpy(tcb->tcbName, "child of: '", TCB_NAME_LENGTH);
448 strlcat(tcb->tcbName, NODE_STATE(ksCurThread)->tcbName, TCB_NAME_LENGTH);
449 strlcat(tcb->tcbName, "'", TCB_NAME_LENGTH);
H A Dtcb.c1653 strlcpy(tcb->tcbName, name, TCB_NAME_LENGTH);

Completed in 94 milliseconds