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

/seL4-master/include/api/
A D	failures.h	32 word_t memoryLeft; member
/seL4-master/src/object/
A D	untyped.c	211 current_syscall_error.memoryLeft = untypedFreeBytes; in decodeUntypedInvocation()
A D	tcb.c	2080 current_syscall_error.memoryLeft); in setMRs_syscall_error()

Completed in 10 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023