FREE_INDEX_TO_OFFSET (reference) in projects: seL4-master

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

/seL4-master/include/object/
A D	untyped.h	`24 #define FREE_INDEX_TO_OFFSET(freeIndex) ((freeIndex)<<seL4_MinUntypedBits) macro 25 #define GET_FREE_REF(base,freeIndex) ((word_t)(((word_t)(base)) + FREE_INDEX_TO_OFFSET(freeIndex)))`
/seL4-master/src/object/
A D	untyped.c	`202 FREE_INDEX_TO_OFFSET(freeIndex); in decodeUntypedInvocation() 241 word_t offset = FREE_INDEX_TO_OFFSET(cap_untyped_cap_get_capFreeIndex(prev_cap)); in resetUntypedCap()`

Completed in 4 milliseconds