Searched refs:alignedFreeRef (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
229 alignedFreeRef = alignUp(freeRef, objectSize);
234 (void *)alignedFreeRef, newType, userObjSize,

Completed in 64 milliseconds