Searched refs:freeIndex (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/object/
H A Duntyped.h29 #define FREE_INDEX_TO_OFFSET(freeIndex) ((freeIndex)<<seL4_MinUntypedBits)
30 #define GET_FREE_REF(base,freeIndex) ((word_t)(((word_t)(base)) + FREE_INDEX_TO_OFFSET(freeIndex)))
/seL4-l4v-10.1.1/seL4/src/object/
H A Duntyped.c46 word_t freeIndex; local
185 freeIndex = cap_untyped_cap_get_capFreeIndex(cap);
188 freeIndex = 0;
191 freeRef = GET_FREE_REF(cap_untyped_cap_get_capPtr(cap), freeIndex);
202 FREE_INDEX_TO_OFFSET(freeIndex);

Completed in 79 milliseconds