Searched refs:OFFSET_TO_FREE_INDEX (Results 1 – 2 of 2) sorted by relevance
28 #define OFFSET_TO_FREE_INDEX(offset) ((offset)>>seL4_MinUntypedBits) macro
263 srcSlot->cap = cap_untyped_cap_set_capFreeIndex(prev_cap, OFFSET_TO_FREE_INDEX(offset)); in resetUntypedCap()
Completed in 4 milliseconds