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

/seL4-mcs-10.1.1/include/arch/riscv/arch/32/mode/api/
H A Dconstants.h34 #define seL4_TCBBits 9 macro
/seL4-mcs-10.1.1/include/arch/riscv/arch/64/mode/api/
H A Dconstants.h34 #define seL4_TCBBits 10 macro
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/riscv32/sel4/sel4_arch/
H A Dconstants.h34 #define seL4_TCBBits 9 macro
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/riscv64/sel4/sel4_arch/
H A Dconstants.h34 #define seL4_TCBBits 10 macro
/seL4-mcs-10.1.1/include/arch/arm/arch/32/mode/api/
H A Dconstants.h168 #define seL4_TCBBits 11 macro
170 #define seL4_TCBBits 10 macro
172 #define seL4_TCBBits 9 macro
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/
H A Dconstants.h168 #define seL4_TCBBits 11 macro
170 #define seL4_TCBBits 10 macro
172 #define seL4_TCBBits 9 macro
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/
H A Dconstants.h168 #define seL4_TCBBits 11 macro
170 #define seL4_TCBBits 10 macro
172 #define seL4_TCBBits 9 macro
/seL4-mcs-10.1.1/include/arch/x86/arch/64/mode/api/
H A Dconstants.h33 #define seL4_TCBBits 12 macro
35 #define seL4_TCBBits 11 macro
/seL4-mcs-10.1.1/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-mcs-10.1.1/include/arch/x86/arch/32/mode/api/
H A Dconstants.h31 #define seL4_TCBBits 11 macro
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dconstants.h31 #define seL4_TCBBits 11 macro
/seL4-mcs-10.1.1/include/object/
H A Dstructures.h71 #define TCB_SIZE_BITS (seL4_TCBBits - 1)
84 (((cte_t *)((word_t)(p)&~MASK(seL4_TCBBits)))+(i))
393 return seL4_TCBBits;
398 return seL4_TCBBits;
H A Dtcb.h23 #define TCB_NAME_LENGTH (BIT(seL4_TCBBits) - TCB_OFFSET - sizeof(tcb_t))
/seL4-mcs-10.1.1/include/arch/arm/arch/64/mode/api/
H A Dconstants.h173 #define seL4_TCBBits 11 macro
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/
H A Dconstants.h173 #define seL4_TCBBits 11 macro
/seL4-mcs-10.1.1/src/kernel/
H A Dboot.c422 pptr = alloc_region(seL4_TCBBits);
427 memzero((void *)pptr, 1 << seL4_TCBBits);
463 pptr = alloc_region(seL4_TCBBits);
468 memzero((void*)pptr, 1 << seL4_TCBBits);
/seL4-mcs-10.1.1/src/object/
H A Dobjecttype.c42 return seL4_TCBBits;

Completed in 62 milliseconds