Searched refs:tcbCNodeEntries (Results 1 – 5 of 5) sorted by relevance
11 #define tcbArchCNodeEntries tcbCNodeEntries
23 tcbArchEPTRoot = tcbCNodeEntries,26 tcbArchCNodeEntries = tcbCNodeEntries
21 #define tcbArchCNodeEntries tcbCNodeEntries
206 tcbCNodeEntries enumerator
18 #define TCB_NAME_LENGTH (BIT(seL4_TCBBits-1) - (tcbCNodeEntries * sizeof(cte_t)) - sizeof(debug_tcb…
Completed in 8 milliseconds