freeIndex (definition) in projects: seL4-master

Searched defs:freeIndex (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) argument 25 #define GET_FREE_REF(base,freeIndex) ((word_t)(((word_t)(base)) + FREE_INDEX_TO_OFFSET(freeIndex))) argument`
/seL4-master/src/object/
A D	untyped.c	`39 word_t freeIndex; in decodeUntypedInvocation() local`

Completed in 3 milliseconds