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

/seL4-l4v-10.1.1/seL4/include/api/
H A Dfailures.h36 word_t memoryLeft; member in struct:syscall_error
/seL4-l4v-10.1.1/seL4/src/object/
H A Duntyped.c211 current_syscall_error.memoryLeft = untypedFreeBytes;
H A Dtcb.c1693 current_syscall_error.memoryLeft);

Completed in 44 milliseconds