Searched refs:seL4_FailedLookup (Results 1 - 19 of 19) sorted by relevance

/seL4-camkes-master/kernel/libsel4/include/sel4/
H A Derrors.h16 seL4_FailedLookup, enumerator in enum:__anon38
/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dcomponent.simple.c238 return seL4_FailedLookup;
327 return seL4_FailedLookup;
329 return seL4_FailedLookup;
346 return seL4_FailedLookup;
350 return seL4_FailedLookup;
391 return seL4_FailedLookup;
403 return seL4_FailedLookup;
406 return seL4_FailedLookup;
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/
H A Dstrerror.c33 [seL4_FailedLookup] = "seL4_FailedLookup",
H A Dmapping.c42 while (error == seL4_FailedLookup) {
/seL4-camkes-master/kernel/src/kernel/
H A Dcspace.c74 current_syscall_error.type = seL4_FailedLookup;
90 current_syscall_error.type = seL4_FailedLookup;
98 current_syscall_error.type = seL4_FailedLookup;
/seL4-camkes-master/kernel/src/arch/x86/kernel/
H A Dept.c125 current_syscall_error.type = seL4_FailedLookup;
155 current_syscall_error.type = seL4_FailedLookup;
329 current_syscall_error.type = seL4_FailedLookup;
533 current_syscall_error.type = seL4_FailedLookup;
549 current_syscall_error.type = seL4_FailedLookup;
721 current_syscall_error.type = seL4_FailedLookup;
736 current_syscall_error.type = seL4_FailedLookup;
842 current_syscall_error.type = seL4_FailedLookup;
878 current_syscall_error.type = seL4_FailedLookup;
910 current_syscall_error.type = seL4_FailedLookup;
[all...]
H A Dvspace.c872 current_syscall_error.type = seL4_FailedLookup;
901 current_syscall_error.type = seL4_FailedLookup;
1011 current_syscall_error.type = seL4_FailedLookup;
1207 current_syscall_error.type = seL4_FailedLookup;
1223 current_syscall_error.type = seL4_FailedLookup;
1372 current_syscall_error.type = seL4_FailedLookup;
/seL4-camkes-master/kernel/src/arch/x86/object/
H A Diospace.c259 current_syscall_error.type = seL4_FailedLookup;
360 current_syscall_error.type = seL4_FailedLookup;
368 current_syscall_error.type = seL4_FailedLookup;
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/mspace/
H A Dvirtual_pool.c43 seL4_ARCH_Default_VMAttributes)) == seL4_FailedLookup) {
/seL4-camkes-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c1743 current_syscall_error.type = seL4_FailedLookup;
1846 current_syscall_error.type = seL4_FailedLookup;
1934 current_syscall_error.type = seL4_FailedLookup;
1948 current_syscall_error.type = seL4_FailedLookup;
2027 current_syscall_error.type = seL4_FailedLookup;
2041 current_syscall_error.type = seL4_FailedLookup;
2102 current_syscall_error.type = seL4_FailedLookup;
2151 current_syscall_error.type = seL4_FailedLookup;
2164 current_syscall_error.type = seL4_FailedLookup;
2177 current_syscall_error.type = seL4_FailedLookup;
[all...]
/seL4-camkes-master/kernel/src/object/
H A Duntyped.c130 current_syscall_error.type = seL4_FailedLookup;
H A Dcnode.c108 current_syscall_error.type = seL4_FailedLookup;
279 current_syscall_error.type = seL4_FailedLookup;
286 current_syscall_error.type = seL4_FailedLookup;
H A Dtcb.c2068 case seL4_FailedLookup:
/seL4-camkes-master/projects/seL4_libs/libsel4simple-default/src/
H A Dlibsel4simple-default.c57 return seL4_FailedLookup;
/seL4-camkes-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c1209 current_syscall_error.type = seL4_FailedLookup;
1224 current_syscall_error.type = seL4_FailedLookup;
1374 current_syscall_error.type = seL4_FailedLookup;
1488 current_syscall_error.type = seL4_FailedLookup;
/seL4-camkes-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c747 current_syscall_error.type = seL4_FailedLookup;
829 current_syscall_error.type = seL4_FailedLookup;
857 current_syscall_error.type = seL4_FailedLookup;
1047 current_syscall_error.type = seL4_FailedLookup;
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c1635 seL4_FailedLookup;
1675 seL4_FailedLookup;
2100 current_syscall_error.type = seL4_FailedLookup;
2233 current_syscall_error.type = seL4_FailedLookup;
2357 seL4_FailedLookup;
2484 seL4_FailedLookup;
2683 current_syscall_error.type = seL4_FailedLookup;
/seL4-camkes-master/kernel/src/arch/arm/object/
H A Diospace.c302 current_syscall_error.type = seL4_FailedLookup;
/seL4-camkes-master/projects/capdl/capdl-loader-app/src/
H A Dmain.c1974 if (error == seL4_FailedLookup) {

Completed in 212 milliseconds