Searched refs:tcbArchCNodeEntries (Results 1 - 5 of 5) sorted by relevance

/seL4-camkes-master/kernel/include/arch/arm/arch/object/
H A Dstructures.h11 #define tcbArchCNodeEntries tcbCNodeEntries macro
/seL4-camkes-master/kernel/include/arch/riscv/arch/object/
H A Dstructures.h21 #define tcbArchCNodeEntries tcbCNodeEntries macro
/seL4-camkes-master/kernel/include/arch/x86/arch/object/
H A Dstructures.h24 tcbArchCNodeEntries enumerator in enum:tcb_arch_cnode_index
26 tcbArchCNodeEntries = tcbCNodeEntries
/seL4-camkes-master/kernel/include/object/
H A Dstructures.h329 #define TCB_PTR_DEBUG_PTR(p) ((debug_tcb_t *)TCB_PTR_CTE_PTR(p,tcbArchCNodeEntries))
/seL4-camkes-master/kernel/src/object/
H A Dobjecttype.c204 tcbArchCNodeEntries,

Completed in 102 milliseconds