Searched refs:seL4_InvalidCapability (Results 1 - 20 of 20) sorted by relevance

/seL4-camkes-master/kernel/libsel4/include/sel4/
H A Derrors.h12 seL4_InvalidCapability, enumerator in enum:__anon38
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/
H A Dstrerror.c29 [seL4_InvalidCapability] = "seL4_InvalidCapability",
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/
H A Dtls.c57 tls->reply_cap_save_error = seL4_InvalidCapability;
/seL4-camkes-master/kernel/src/arch/x86/object/
H A Diospace.c209 current_syscall_error.type = seL4_InvalidCapability;
216 current_syscall_error.type = seL4_InvalidCapability;
224 current_syscall_error.type = seL4_InvalidCapability;
324 current_syscall_error.type = seL4_InvalidCapability;
331 current_syscall_error.type = seL4_InvalidCapability;
342 current_syscall_error.type = seL4_InvalidCapability;
351 current_syscall_error.type = seL4_InvalidCapability;
/seL4-camkes-master/kernel/src/object/
H A Dobjecttype.c634 current_syscall_error.type = seL4_InvalidCapability;
640 current_syscall_error.type = seL4_InvalidCapability;
648 current_syscall_error.type = seL4_InvalidCapability;
672 current_syscall_error.type = seL4_InvalidCapability;
695 current_syscall_error.type = seL4_InvalidCapability;
711 current_syscall_error.type = seL4_InvalidCapability;
723 current_syscall_error.type = seL4_InvalidCapability;
734 current_syscall_error.type = seL4_InvalidCapability;
757 current_syscall_error.type = seL4_InvalidCapability;
766 current_syscall_error.type = seL4_InvalidCapability;
[all...]
H A Dschedcontrol.c111 current_syscall_error.type = seL4_InvalidCapability;
H A Dschedcontext.c58 current_syscall_error.type = seL4_InvalidCapability;
118 current_syscall_error.type = seL4_InvalidCapability;
H A Dinterrupt.c114 current_syscall_error.type = seL4_InvalidCapability;
H A Dtcb.c907 current_syscall_error.type = seL4_InvalidCapability;
1017 current_syscall_error.type = seL4_InvalidCapability;
1025 current_syscall_error.type = seL4_InvalidCapability;
1163 current_syscall_error.type = seL4_InvalidCapability;
1207 current_syscall_error.type = seL4_InvalidCapability;
1295 current_syscall_error.type = seL4_InvalidCapability;
1341 current_syscall_error.type = seL4_InvalidCapability;
1348 current_syscall_error.type = seL4_InvalidCapability;
2052 case seL4_InvalidCapability:
/seL4-camkes-master/kernel/src/arch/x86/kernel/
H A Dept.c303 current_syscall_error.type = seL4_InvalidCapability;
318 current_syscall_error.type = seL4_InvalidCapability;
336 current_syscall_error.type = seL4_InvalidCapability;
509 seL4_InvalidCapability;
521 current_syscall_error.type = seL4_InvalidCapability;
541 current_syscall_error.type = seL4_InvalidCapability;
697 seL4_InvalidCapability;
710 current_syscall_error.type = seL4_InvalidCapability;
728 current_syscall_error.type = seL4_InvalidCapability;
820 current_syscall_error.type = seL4_InvalidCapability;
[all...]
H A Dvspace.c963 current_syscall_error.type = seL4_InvalidCapability;
973 current_syscall_error.type = seL4_InvalidCapability;
1018 current_syscall_error.type = seL4_InvalidCapability;
1174 seL4_InvalidCapability;
1185 current_syscall_error.type = seL4_InvalidCapability;
1214 current_syscall_error.type = seL4_InvalidCapability;
1312 current_syscall_error.type = seL4_InvalidCapability;
1364 current_syscall_error.type = seL4_InvalidCapability;
1379 current_syscall_error.type = seL4_InvalidCapability;
/seL4-camkes-master/kernel/src/arch/arm/object/
H A Diospace.c184 current_syscall_error.type = seL4_InvalidCapability;
191 current_syscall_error.type = seL4_InvalidCapability;
271 current_syscall_error.type = seL4_InvalidCapability;
278 current_syscall_error.type = seL4_InvalidCapability;
289 current_syscall_error.type = seL4_InvalidCapability;
H A Dsmmu.c118 current_syscall_error.type = seL4_InvalidCapability;
124 current_syscall_error.type = seL4_InvalidCapability;
286 current_syscall_error.type = seL4_InvalidCapability;
/seL4-camkes-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c716 current_syscall_error.type = seL4_InvalidCapability;
727 current_syscall_error.type = seL4_InvalidCapability;
754 current_syscall_error.type = seL4_InvalidCapability;
818 current_syscall_error.type = seL4_InvalidCapability;
836 current_syscall_error.type = seL4_InvalidCapability;
867 current_syscall_error.type = seL4_InvalidCapability;
986 current_syscall_error.type = seL4_InvalidCapability;
1039 current_syscall_error.type = seL4_InvalidCapability;
1054 current_syscall_error.type = seL4_InvalidCapability;
/seL4-camkes-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c1731 current_syscall_error.type = seL4_InvalidCapability;
1750 current_syscall_error.type = seL4_InvalidCapability;
1821 current_syscall_error.type = seL4_InvalidCapability;
1830 current_syscall_error.type = seL4_InvalidCapability;
1852 current_syscall_error.type = seL4_InvalidCapability;
1909 current_syscall_error.type = seL4_InvalidCapability;
1918 current_syscall_error.type = seL4_InvalidCapability;
1940 current_syscall_error.type = seL4_InvalidCapability;
2002 current_syscall_error.type = seL4_InvalidCapability;
2011 current_syscall_error.type = seL4_InvalidCapability;
[all...]
/seL4-camkes-master/kernel/src/arch/x86/32/object/
H A Dobjecttype.c209 current_syscall_error.type = seL4_InvalidCapability;
/seL4-camkes-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c1177 current_syscall_error.type = seL4_InvalidCapability;
1188 current_syscall_error.type = seL4_InvalidCapability;
1216 current_syscall_error.type = seL4_InvalidCapability;
1342 current_syscall_error.type = seL4_InvalidCapability;
1353 current_syscall_error.type = seL4_InvalidCapability;
1381 current_syscall_error.type = seL4_InvalidCapability;
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c2087 current_syscall_error.type = seL4_InvalidCapability;
2107 current_syscall_error.type = seL4_InvalidCapability;
2194 seL4_InvalidCapability;
2209 current_syscall_error.type = seL4_InvalidCapability;
2242 seL4_InvalidCapability;
2313 seL4_InvalidCapability;
2324 current_syscall_error.type = seL4_InvalidCapability;
2367 seL4_InvalidCapability;
2613 current_syscall_error.type = seL4_InvalidCapability;
2673 current_syscall_error.type = seL4_InvalidCapability;
[all...]
/seL4-camkes-master/kernel/src/arch/x86/64/object/
H A Dobjecttype.c336 current_syscall_error.type = seL4_InvalidCapability;
/seL4-camkes-master/projects/seL4_libs/libsel4serialserver/src/
H A Dserver.c275 return seL4_InvalidCapability;

Completed in 292 milliseconds