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

/seL4-camkes-master/kernel/libsel4/include/sel4/
H A Derrors.h17 seL4_TruncatedMessage, enumerator in enum:__anon38
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/
H A Dstrerror.c34 [seL4_TruncatedMessage] = "seL4_TruncatedMessage",
/seL4-camkes-master/kernel/src/object/
H A Dschedcontrol.c93 current_syscall_error.type = seL4_TruncatedMessage;
99 current_syscall_error.type = seL4_TruncatedMessage;
H A Dinterrupt.c36 current_syscall_error.type = seL4_TruncatedMessage;
101 current_syscall_error.type = seL4_TruncatedMessage;
H A Dtcb.c502 current_syscall_error.type = seL4_TruncatedMessage;
764 current_syscall_error.type = seL4_TruncatedMessage;
893 current_syscall_error.type = seL4_TruncatedMessage;
935 current_syscall_error.type = seL4_TruncatedMessage;
980 current_syscall_error.type = seL4_TruncatedMessage;
990 current_syscall_error.type = seL4_TruncatedMessage;
1049 current_syscall_error.type = seL4_TruncatedMessage;
1154 current_syscall_error.type = seL4_TruncatedMessage;
1198 current_syscall_error.type = seL4_TruncatedMessage;
1280 current_syscall_error.type = seL4_TruncatedMessage;
[all...]
H A Dschedcontext.c30 current_syscall_error.type = seL4_TruncatedMessage;
88 current_syscall_error.type = seL4_TruncatedMessage;
H A Dcnode.c61 current_syscall_error.type = seL4_TruncatedMessage;
85 current_syscall_error.type = seL4_TruncatedMessage;
120 current_syscall_error.type = seL4_TruncatedMessage;
139 current_syscall_error.type = seL4_TruncatedMessage;
166 current_syscall_error.type = seL4_TruncatedMessage;
240 current_syscall_error.type = seL4_TruncatedMessage;
H A Duntyped.c54 current_syscall_error.type = seL4_TruncatedMessage;
/seL4-camkes-master/kernel/src/arch/x86/object/
H A Dtcb.c57 current_syscall_error.type = seL4_TruncatedMessage;
H A Dioport.c129 current_syscall_error.type = seL4_TruncatedMessage;
249 current_syscall_error.type = seL4_TruncatedMessage;
274 current_syscall_error.type = seL4_TruncatedMessage;
H A Diospace.c200 current_syscall_error.type = seL4_TruncatedMessage;
318 current_syscall_error.type = seL4_TruncatedMessage;
H A Dinterrupt.c97 current_syscall_error.type = seL4_TruncatedMessage;
H A Dvcpu.c522 current_syscall_error.type = seL4_TruncatedMessage;
552 current_syscall_error.type = seL4_TruncatedMessage;
557 current_syscall_error.type = seL4_TruncatedMessage;
599 current_syscall_error.type = seL4_TruncatedMessage;
885 current_syscall_error.type = seL4_TruncatedMessage;
/seL4-camkes-master/kernel/src/arch/riscv/object/
H A Dinterrupt.c39 current_syscall_error.type = seL4_TruncatedMessage;
/seL4-camkes-master/kernel/src/arch/arm/object/
H A Dvcpu.c311 current_syscall_error.type = seL4_TruncatedMessage;
347 current_syscall_error.type = seL4_TruncatedMessage;
389 current_syscall_error.type = seL4_TruncatedMessage;
404 current_syscall_error.type = seL4_TruncatedMessage;
496 current_syscall_error.type = seL4_TruncatedMessage;
530 current_syscall_error.type = seL4_TruncatedMessage;
H A Dsmmu.c56 current_syscall_error.type = seL4_TruncatedMessage;
111 current_syscall_error.type = seL4_TruncatedMessage;
207 current_syscall_error.type = seL4_TruncatedMessage;
277 current_syscall_error.type = seL4_TruncatedMessage;
H A Dinterrupt.c27 current_syscall_error.type = seL4_TruncatedMessage;
H A Diospace.c169 current_syscall_error.type = seL4_TruncatedMessage;
265 current_syscall_error.type = seL4_TruncatedMessage;
/seL4-camkes-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c1708 current_syscall_error.type = seL4_TruncatedMessage;
1816 current_syscall_error.type = seL4_TruncatedMessage;
1904 current_syscall_error.type = seL4_TruncatedMessage;
1997 current_syscall_error.type = seL4_TruncatedMessage;
2079 current_syscall_error.type = seL4_TruncatedMessage;
2204 current_syscall_error.type = seL4_TruncatedMessage;
2313 current_syscall_error.type = seL4_TruncatedMessage;
2380 current_syscall_error.type = seL4_TruncatedMessage;
/seL4-camkes-master/kernel/src/arch/x86/32/kernel/
H A Dvspace_32paging.c262 current_syscall_error.type = seL4_TruncatedMessage;
/seL4-camkes-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c711 current_syscall_error.type = seL4_TruncatedMessage;
803 current_syscall_error.type = seL4_TruncatedMessage;
961 current_syscall_error.type = seL4_TruncatedMessage;
1027 current_syscall_error.type = seL4_TruncatedMessage;
/seL4-camkes-master/kernel/src/arch/x86/kernel/
H A Dept.c297 current_syscall_error.type = seL4_TruncatedMessage;
502 current_syscall_error.type = seL4_TruncatedMessage;
690 current_syscall_error.type = seL4_TruncatedMessage;
H A Dvspace.c948 current_syscall_error.type = seL4_TruncatedMessage;
1167 current_syscall_error.type = seL4_TruncatedMessage;
1286 current_syscall_error.type = seL4_TruncatedMessage;
1353 current_syscall_error.type = seL4_TruncatedMessage;
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c2062 current_syscall_error.type = seL4_TruncatedMessage;
2187 current_syscall_error.type = seL4_TruncatedMessage;
2296 seL4_TruncatedMessage;
2462 current_syscall_error.type = seL4_TruncatedMessage;
2586 current_syscall_error.type = seL4_TruncatedMessage;
2661 current_syscall_error.type = seL4_TruncatedMessage;
/seL4-camkes-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c1171 current_syscall_error.type = seL4_TruncatedMessage;
1336 current_syscall_error.type = seL4_TruncatedMessage;

Completed in 375 milliseconds