Searched refs:seL4_InvalidArgument (Results 1 - 25 of 27) sorted by relevance

12

/seL4-camkes-master/kernel/libsel4/include/sel4/
H A Derrors.h11 seL4_InvalidArgument, enumerator in enum:__anon38
/seL4-camkes-master/projects/seL4_libs/libsel4simple/arch_include/arm/simple/arch/
H A Dsimple.h66 return seL4_InvalidArgument;
70 return seL4_InvalidArgument;
81 return seL4_InvalidArgument;
85 return seL4_InvalidArgument;
/seL4-camkes-master/projects/seL4_libs/libsel4simple/include/simple/
H A Dsimple.h268 return seL4_InvalidArgument;
272 return seL4_InvalidArgument;
296 return seL4_InvalidArgument;
300 return seL4_InvalidArgument;
309 return seL4_InvalidArgument;
313 return seL4_InvalidArgument;
322 return seL4_InvalidArgument;
326 return seL4_InvalidArgument;
338 return seL4_InvalidArgument;
526 return seL4_InvalidArgument;
[all...]
/seL4-camkes-master/projects/seL4_libs/libsel4simple/arch_include/x86/simple/arch/
H A Dsimple.h105 return seL4_InvalidArgument;
110 return seL4_InvalidArgument;
123 return seL4_InvalidArgument;
141 return seL4_InvalidArgument;
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/
H A Dstrerror.c28 [seL4_InvalidArgument] = "seL4_InvalidArgument",
H A Delf.c49 return seL4_InvalidArgument;
/seL4-camkes-master/kernel/include/arch/arm/arch/machine/
H A Ddebug.h161 ret.type = seL4_InvalidArgument;
170 ret.type = seL4_InvalidArgument;
211 ret.type = seL4_InvalidArgument;
217 ret.type = seL4_InvalidArgument;
/seL4-camkes-master/projects/seL4_libs/libsel4simple-default/src/arch/arm/
H A Ddefault.c49 return seL4_InvalidArgument;
57 return seL4_InvalidArgument;
/seL4-camkes-master/kernel/src/object/
H A Duntyped.c71 current_syscall_error.type = seL4_InvalidArgument;
92 current_syscall_error.type = seL4_InvalidArgument;
100 current_syscall_error.type = seL4_InvalidArgument;
108 current_syscall_error.type = seL4_InvalidArgument;
222 current_syscall_error.type = seL4_InvalidArgument;
H A Dtcb.c590 current_syscall_error.type = seL4_InvalidArgument;
597 current_syscall_error.type = seL4_InvalidArgument;
603 current_syscall_error.type = seL4_InvalidArgument;
609 current_syscall_error.type = seL4_InvalidArgument;
616 current_syscall_error.type = seL4_InvalidArgument;
623 current_syscall_error.type = seL4_InvalidArgument;
629 current_syscall_error.type = seL4_InvalidArgument;
636 current_syscall_error.type = seL4_InvalidArgument;
644 current_syscall_error.type = seL4_InvalidArgument;
650 current_syscall_error.type = seL4_InvalidArgument;
[all...]
/seL4-camkes-master/projects/seL4_libs/libsel4serialserver/src/
H A Dparentapi.c39 return seL4_InvalidArgument;
147 error = seL4_InvalidArgument;
191 return seL4_InvalidArgument;
H A Dclientapi.c52 return seL4_InvalidArgument;
186 return -seL4_InvalidArgument;
229 return -seL4_InvalidArgument;
271 return seL4_InvalidArgument;
H A Dserver.c237 return seL4_InvalidArgument;
368 return seL4_InvalidArgument;
/seL4-camkes-master/kernel/include/arch/x86/arch/machine/
H A Ddebug.h148 ret.type = seL4_InvalidArgument;
/seL4-camkes-master/kernel/src/arch/arm/object/
H A Dinterrupt.c96 current_syscall_error.type = seL4_InvalidArgument;
H A Dvcpu.c318 current_syscall_error.type = seL4_InvalidArgument;
355 current_syscall_error.type = seL4_InvalidArgument;
510 current_syscall_error.type = seL4_InvalidArgument;
H A Diospace.c353 current_syscall_error.type = seL4_InvalidArgument;
361 current_syscall_error.type = seL4_InvalidArgument;
/seL4-camkes-master/kernel/src/arch/x86/32/kernel/
H A Dvspace_32paging.c271 current_syscall_error.type = seL4_InvalidArgument;
291 current_syscall_error.type = seL4_InvalidArgument;
/seL4-camkes-master/projects/seL4_projects_libs/libsel4rpc/src/
H A Dserver.c96 seL4_Error err = seL4_InvalidArgument;
/seL4-camkes-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c1718 current_syscall_error.type = seL4_InvalidArgument;
1839 current_syscall_error.type = seL4_InvalidArgument;
1927 current_syscall_error.type = seL4_InvalidArgument;
2020 current_syscall_error.type = seL4_InvalidArgument;
2130 current_syscall_error.type = seL4_InvalidArgument;
2136 current_syscall_error.type = seL4_InvalidArgument;
2231 current_syscall_error.type = seL4_InvalidArgument;
2240 current_syscall_error.type = seL4_InvalidArgument;
/seL4-camkes-master/kernel/src/arch/x86/object/
H A Dioport.c142 current_syscall_error.type = seL4_InvalidArgument;
H A Diospace.c386 current_syscall_error.type = seL4_InvalidArgument;
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c2072 current_syscall_error.type = seL4_InvalidArgument;
2221 current_syscall_error.type = seL4_InvalidArgument;
2332 current_syscall_error.type = seL4_InvalidArgument;
2343 seL4_InvalidArgument;
2495 current_syscall_error.type = seL4_InvalidArgument;
2507 current_syscall_error.type = seL4_InvalidArgument;
/seL4-camkes-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c738 current_syscall_error.type = seL4_InvalidArgument;
844 current_syscall_error.type = seL4_InvalidArgument;
874 current_syscall_error.type = seL4_InvalidArgument;
/seL4-camkes-master/kernel/src/arch/x86/kernel/
H A Dvspace.c988 current_syscall_error.type = seL4_InvalidArgument;
999 current_syscall_error.type = seL4_InvalidArgument;
1196 current_syscall_error.type = seL4_InvalidArgument;

Completed in 200 milliseconds

12