Home
last modified time | relevance | path

Searched refs:tcbCNodeEntries (Results 1 – 5 of 5) sorted by relevance

/seL4-master/include/arch/arm/arch/object/
A Dstructures.h11 #define tcbArchCNodeEntries tcbCNodeEntries
/seL4-master/include/arch/x86/arch/object/
A Dstructures.h23 tcbArchEPTRoot = tcbCNodeEntries,
26 tcbArchCNodeEntries = tcbCNodeEntries
/seL4-master/include/arch/riscv/arch/object/
A Dstructures.h21 #define tcbArchCNodeEntries tcbCNodeEntries
/seL4-master/include/object/
A Dstructures.h206 tcbCNodeEntries enumerator
A Dtcb.h18 #define TCB_NAME_LENGTH (BIT(seL4_TCBBits-1) - (tcbCNodeEntries * sizeof(cte_t)) - sizeof(debug_tcb…

Completed in 8 milliseconds