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

/seL4-camkes-master/kernel/libsel4/include/sel4/
H A Derrors.h20 seL4_NotEnoughMemory, enumerator in enum:__anon38
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/
H A Dstrerror.c37 [seL4_NotEnoughMemory] = "seL4_NotEnoughMemory",
/seL4-camkes-master/projects/seL4_libs/libsel4serialserver/src/
H A Dparentapi.c73 error = seL4_NotEnoughMemory;
100 error = seL4_NotEnoughMemory;
H A Dserver.c285 return seL4_NotEnoughMemory;
324 error = seL4_NotEnoughMemory;
H A Dclientapi.c69 return seL4_NotEnoughMemory;
/seL4-camkes-master/kernel/src/object/
H A Duntyped.c213 current_syscall_error.type = seL4_NotEnoughMemory;
H A Dtcb.c2078 case seL4_NotEnoughMemory:
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/vspace/
H A Dvspace.c319 error = seL4_NotEnoughMemory;
/seL4-camkes-master/projects/capdl/capdl-loader-app/src/
H A Dmain.c813 } else if (err == seL4_NotEnoughMemory) {

Completed in 185 milliseconds