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

/seL4-master/include/object/
A D	untyped.h	28 #define OFFSET_TO_FREE_INDEX(offset) ((offset)>>seL4_MinUntypedBits) macro
/seL4-master/src/object/
A D	untyped.c	263 srcSlot->cap = cap_untyped_cap_set_capFreeIndex(prev_cap, OFFSET_TO_FREE_INDEX(offset)); in resetUntypedCap()

Completed in 5 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023