Searched refs:untypedFreeBytes (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
204 untypedFreeBytes = BIT(cap_untyped_cap_get_capBlockSize(cap)) -
207 if ((untypedFreeBytes >> objectSize) < nodeWindow) {
212 (word_t)(untypedFreeBytes));
214 current_syscall_error.memoryLeft = untypedFreeBytes;

Completed in 65 milliseconds