Searched refs:MAX_FREE_INDEX (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/object/
H A Duntyped.h28 #define MAX_FREE_INDEX(sizeBits) (BIT((sizeBits) - seL4_MinUntypedBits)) macro
/seL4-l4v-10.1.1/seL4/src/kernel/
H A Dboot.c515 ut_cap = cap_untyped_cap_new(MAX_FREE_INDEX(size_bits),
/seL4-l4v-10.1.1/seL4/src/arch/riscv/kernel/
H A Dvspace.c455 MAX_FREE_INDEX(cap_untyped_cap_get_capBlockSize(parent->cap)));
/seL4-l4v-10.1.1/seL4/src/object/
H A Dcnode.c408 MAX_FREE_INDEX(cap_untyped_cap_get_capBlockSize(srcCap)));
/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dvspace.c62 MAX_FREE_INDEX(cap_untyped_cap_get_capBlockSize(parent->cap)));
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/
H A Dvspace.c2180 MAX_FREE_INDEX(cap_untyped_cap_get_capBlockSize(parent->cap)));
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/kernel/
H A Dvspace.c1712 MAX_FREE_INDEX(cap_untyped_cap_get_capBlockSize(parent->cap)));

Completed in 57 milliseconds