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

/seL4-l4v-master/seL4/include/arch/arm/arch/object/
H A Dstructures.h11 #define tcbArchCNodeEntries tcbCNodeEntries macro
/seL4-l4v-master/seL4/include/arch/riscv/arch/object/
H A Dstructures.h21 #define tcbArchCNodeEntries tcbCNodeEntries macro
/seL4-l4v-master/seL4/include/arch/x86/arch/object/
H A Dstructures.h24 tcbArchCNodeEntries enumerator in enum:tcb_arch_cnode_index

Completed in 43 milliseconds