Searched refs:seL4_MinUntypedBits (Results 1 - 16 of 16) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/object/
H A Duntyped.h21 /* It is assumed that every untyped is within seL4_MinUntypedBits and seL4_MaxUntypedBits
22 * (inclusive). This means that every untyped stored as seL4_MinUntypedBits
24 * capFreeIndex counts in chunks of size 2^seL4_MinUntypedBits. The seL4_MaxUntypedBits
28 #define MAX_FREE_INDEX(sizeBits) (BIT((sizeBits) - seL4_MinUntypedBits))
29 #define FREE_INDEX_TO_OFFSET(freeIndex) ((freeIndex)<<seL4_MinUntypedBits)
31 #define GET_FREE_INDEX(base,free) (((word_t)(free) - (word_t)(base))>>seL4_MinUntypedBits)
33 #define OFFSET_TO_FREE_INDEX(offset) ((offset)>>seL4_MinUntypedBits)
/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/32/mode/api/
H A Dconstants.h37 #define seL4_MinUntypedBits 4 macro
/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/64/mode/api/
H A Dconstants.h50 #define seL4_MinUntypedBits 4 macro
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/riscv32/sel4/sel4_arch/
H A Dconstants.h37 #define seL4_MinUntypedBits 4 macro
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/riscv64/sel4/sel4_arch/
H A Dconstants.h50 #define seL4_MinUntypedBits 4 macro
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/32/mode/api/
H A Dconstants.h65 #define seL4_MinUntypedBits 4 macro
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/api/
H A Dconstants.h63 #define seL4_MinUntypedBits 4 macro
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dconstants.h65 #define seL4_MinUntypedBits 4 macro
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A Dconstants.h63 #define seL4_MinUntypedBits 4 macro
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/api/
H A Dconstants.h188 #define seL4_MinUntypedBits 4 macro
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/64/mode/api/
H A Dconstants.h158 #define seL4_MinUntypedBits 4 macro
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/
H A Dconstants.h188 #define seL4_MinUntypedBits 4 macro
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/
H A Dconstants.h158 #define seL4_MinUntypedBits 4 macro
/seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/
H A Dconstants.h188 #define seL4_MinUntypedBits 4 macro
/seL4-l4v-10.1.1/seL4/src/object/
H A Duntyped.c104 if (newType == seL4_UntypedObject && userObjSize < seL4_MinUntypedBits) {
/seL4-l4v-10.1.1/seL4/src/kernel/
H A Dboot.c554 if (size_bits >= seL4_MinUntypedBits) {

Completed in 129 milliseconds