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

/seL4-l4v-10.1.1/seL4/include/object/
H A Duntyped.h33 #define OFFSET_TO_FREE_INDEX(offset) ((offset)>>seL4_MinUntypedBits) macro
/seL4-l4v-10.1.1/seL4/src/object/
H A Duntyped.c264 srcSlot->cap = cap_untyped_cap_set_capFreeIndex(prev_cap, OFFSET_TO_FREE_INDEX(offset));

Completed in 34 milliseconds