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

/seL4-test-master/kernel/src/object/
H A Duntyped.c39 word_t freeRef, alignedFreeRef, objectSize, untypedFreeBytes; local
194 freeRef = GET_FREE_REF(cap_untyped_cap_get_capPtr(cap), freeIndex);
229 alignedFreeRef = alignUp(freeRef, objectSize);
281 word_t freeRef; local
299 freeRef = (word_t)retypeBase + totalObjectSize;
301 GET_FREE_INDEX(regionBase, freeRef));

Completed in 33 milliseconds