Searched refs:FREE_INDEX_TO_OFFSET (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) macro
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.c202 FREE_INDEX_TO_OFFSET(freeIndex);
242 word_t offset = FREE_INDEX_TO_OFFSET(cap_untyped_cap_get_capFreeIndex(prev_cap));

Completed in 31 milliseconds