Searched refs:seL4_TCBBits (Results 1 - 17 of 17) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/api/
H A Dconstants.h137 #define seL4_TCBBits 11 macro
139 #define seL4_TCBBits 10 macro
141 #define seL4_TCBBits 9 macro
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/
H A Dconstants.h137 #define seL4_TCBBits 11 macro
139 #define seL4_TCBBits 10 macro
141 #define seL4_TCBBits 9 macro
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/
H A Dconstants.h137 #define seL4_TCBBits 11 macro
139 #define seL4_TCBBits 10 macro
141 #define seL4_TCBBits 9 macro
/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/32/mode/api/
H A Dconstants.h34 #define seL4_TCBBits 9 macro
/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/64/mode/api/
H A Dconstants.h34 #define seL4_TCBBits 10 macro
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/riscv32/sel4/sel4_arch/
H A Dconstants.h34 #define seL4_TCBBits 9 macro
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/riscv64/sel4/sel4_arch/
H A Dconstants.h34 #define seL4_TCBBits 10 macro
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/api/
H A Dconstants.h33 #define seL4_TCBBits 12 macro
35 #define seL4_TCBBits 11 macro
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A Dconstants.h33 #define seL4_TCBBits 12 macro
35 #define seL4_TCBBits 11 macro
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/32/mode/api/
H A Dconstants.h31 #define seL4_TCBBits 11 macro
/seL4-l4v-10.1.1/seL4/include/object/
H A Dstructures.h71 #define TCB_SIZE_BITS (seL4_TCBBits - 1)
84 (((cte_t *)((word_t)(p)&~MASK(seL4_TCBBits)))+(i))
315 return seL4_TCBBits;
320 return seL4_TCBBits;
H A Dtcb.h23 #define TCB_NAME_LENGTH (BIT(seL4_TCBBits) - TCB_OFFSET - sizeof(tcb_t))
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dconstants.h31 #define seL4_TCBBits 11 macro
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/64/mode/api/
H A Dconstants.h126 #define seL4_TCBBits 11 macro
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/
H A Dconstants.h126 #define seL4_TCBBits 11 macro
/seL4-l4v-10.1.1/seL4/src/kernel/
H A Dboot.c382 pptr = alloc_region(seL4_TCBBits);
387 memzero((void *)pptr, 1 << seL4_TCBBits);
416 pptr = alloc_region(seL4_TCBBits);
421 memzero((void*)pptr, 1 << seL4_TCBBits);
/seL4-l4v-10.1.1/seL4/src/object/
H A Dobjecttype.c40 return seL4_TCBBits;

Completed in 211 milliseconds