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

12

/seL4-l4v-10.1.1/seL4/src/arch/riscv/object/
H A Dinterrupt.c27 return EXCEPTION_SYSCALL_ERROR;
36 return EXCEPTION_SYSCALL_ERROR;
/seL4-l4v-10.1.1/seL4/include/api/
H A Dfailures.h24 EXCEPTION_SYSCALL_ERROR, enumerator in enum:exception
/seL4-l4v-10.1.1/seL4/src/arch/arm/object/
H A Dinterrupt.c33 return EXCEPTION_SYSCALL_ERROR;
39 return EXCEPTION_SYSCALL_ERROR;
58 return EXCEPTION_SYSCALL_ERROR;
81 return EXCEPTION_SYSCALL_ERROR;
H A Diospace.c181 return EXCEPTION_SYSCALL_ERROR;
187 return EXCEPTION_SYSCALL_ERROR;
197 return EXCEPTION_SYSCALL_ERROR;
204 return EXCEPTION_SYSCALL_ERROR;
220 return EXCEPTION_SYSCALL_ERROR;
279 return EXCEPTION_SYSCALL_ERROR;
286 return EXCEPTION_SYSCALL_ERROR;
293 return EXCEPTION_SYSCALL_ERROR;
304 return EXCEPTION_SYSCALL_ERROR;
317 return EXCEPTION_SYSCALL_ERROR;
[all...]
H A Dvcpu.c556 return EXCEPTION_SYSCALL_ERROR;
564 return EXCEPTION_SYSCALL_ERROR;
594 return EXCEPTION_SYSCALL_ERROR;
603 return EXCEPTION_SYSCALL_ERROR;
634 return EXCEPTION_SYSCALL_ERROR;
649 return EXCEPTION_SYSCALL_ERROR;
667 return EXCEPTION_SYSCALL_ERROR;
675 return EXCEPTION_SYSCALL_ERROR;
683 return EXCEPTION_SYSCALL_ERROR;
692 return EXCEPTION_SYSCALL_ERROR;
[all...]
/seL4-l4v-10.1.1/seL4/src/object/
H A Duntyped.c54 return EXCEPTION_SYSCALL_ERROR;
61 return EXCEPTION_SYSCALL_ERROR;
79 return EXCEPTION_SYSCALL_ERROR;
92 return EXCEPTION_SYSCALL_ERROR;
100 return EXCEPTION_SYSCALL_ERROR;
108 return EXCEPTION_SYSCALL_ERROR;
130 return EXCEPTION_SYSCALL_ERROR;
141 return EXCEPTION_SYSCALL_ERROR;
149 return EXCEPTION_SYSCALL_ERROR;
156 return EXCEPTION_SYSCALL_ERROR;
[all...]
H A Dtcb.c48 return EXCEPTION_SYSCALL_ERROR;
413 return EXCEPTION_SYSCALL_ERROR;
422 return EXCEPTION_SYSCALL_ERROR;
464 return EXCEPTION_SYSCALL_ERROR;
505 return EXCEPTION_SYSCALL_ERROR;
512 return EXCEPTION_SYSCALL_ERROR;
518 return EXCEPTION_SYSCALL_ERROR;
524 return EXCEPTION_SYSCALL_ERROR;
531 return EXCEPTION_SYSCALL_ERROR;
538 return EXCEPTION_SYSCALL_ERROR;
[all...]
H A Dinterrupt.c43 return EXCEPTION_SYSCALL_ERROR;
60 return EXCEPTION_SYSCALL_ERROR;
110 return EXCEPTION_SYSCALL_ERROR;
124 return EXCEPTION_SYSCALL_ERROR;
140 return EXCEPTION_SYSCALL_ERROR;
H A Dcnode.c55 return EXCEPTION_SYSCALL_ERROR;
61 return EXCEPTION_SYSCALL_ERROR;
85 return EXCEPTION_SYSCALL_ERROR;
111 return EXCEPTION_SYSCALL_ERROR;
120 return EXCEPTION_SYSCALL_ERROR;
139 return EXCEPTION_SYSCALL_ERROR;
166 return EXCEPTION_SYSCALL_ERROR;
183 return EXCEPTION_SYSCALL_ERROR;
223 return EXCEPTION_SYSCALL_ERROR;
238 return EXCEPTION_SYSCALL_ERROR;
[all...]
/seL4-l4v-10.1.1/seL4/src/arch/riscv/kernel/
H A Dvspace.c617 return EXCEPTION_SYSCALL_ERROR;
623 return EXCEPTION_SYSCALL_ERROR;
630 return EXCEPTION_SYSCALL_ERROR;
697 return EXCEPTION_SYSCALL_ERROR;
706 return EXCEPTION_SYSCALL_ERROR;
712 return EXCEPTION_SYSCALL_ERROR;
719 return EXCEPTION_SYSCALL_ERROR;
731 return EXCEPTION_SYSCALL_ERROR;
742 return EXCEPTION_SYSCALL_ERROR;
750 return EXCEPTION_SYSCALL_ERROR;
[all...]
/seL4-l4v-10.1.1/seL4/src/arch/x86/object/
H A Diospace.c206 return EXCEPTION_SYSCALL_ERROR;
212 return EXCEPTION_SYSCALL_ERROR;
222 return EXCEPTION_SYSCALL_ERROR;
229 return EXCEPTION_SYSCALL_ERROR;
238 return EXCEPTION_SYSCALL_ERROR;
272 return EXCEPTION_SYSCALL_ERROR;
279 return EXCEPTION_SYSCALL_ERROR;
332 return EXCEPTION_SYSCALL_ERROR;
339 return EXCEPTION_SYSCALL_ERROR;
346 return EXCEPTION_SYSCALL_ERROR;
[all...]
H A Dtcb.c62 return EXCEPTION_SYSCALL_ERROR;
70 return EXCEPTION_SYSCALL_ERROR;
81 return EXCEPTION_SYSCALL_ERROR;
H A Dinterrupt.c57 return EXCEPTION_SYSCALL_ERROR;
90 return EXCEPTION_SYSCALL_ERROR;
97 return EXCEPTION_SYSCALL_ERROR;
105 return EXCEPTION_SYSCALL_ERROR;
116 return EXCEPTION_SYSCALL_ERROR;
123 return EXCEPTION_SYSCALL_ERROR;
170 return EXCEPTION_SYSCALL_ERROR;
177 return EXCEPTION_SYSCALL_ERROR;
184 return EXCEPTION_SYSCALL_ERROR;
H A Dioport.c53 return EXCEPTION_SYSCALL_ERROR;
135 return EXCEPTION_SYSCALL_ERROR;
141 return EXCEPTION_SYSCALL_ERROR;
155 return EXCEPTION_SYSCALL_ERROR;
161 return EXCEPTION_SYSCALL_ERROR;
264 return EXCEPTION_SYSCALL_ERROR;
289 return EXCEPTION_SYSCALL_ERROR;
323 return EXCEPTION_SYSCALL_ERROR;
H A Dobjecttype.c40 ret.status = EXCEPTION_SYSCALL_ERROR;
52 ret.status = EXCEPTION_SYSCALL_ERROR;
82 ret.status = EXCEPTION_SYSCALL_ERROR;
100 ret.status = EXCEPTION_SYSCALL_ERROR;
111 ret.status = EXCEPTION_SYSCALL_ERROR;
123 ret.status = EXCEPTION_SYSCALL_ERROR;
135 ret.status = EXCEPTION_SYSCALL_ERROR;
/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dept.c301 return EXCEPTION_SYSCALL_ERROR;
310 return EXCEPTION_SYSCALL_ERROR;
316 return EXCEPTION_SYSCALL_ERROR;
324 return EXCEPTION_SYSCALL_ERROR;
339 return EXCEPTION_SYSCALL_ERROR;
350 return EXCEPTION_SYSCALL_ERROR;
357 return EXCEPTION_SYSCALL_ERROR;
365 return EXCEPTION_SYSCALL_ERROR;
511 return EXCEPTION_SYSCALL_ERROR;
520 return EXCEPTION_SYSCALL_ERROR;
[all...]
H A Dvspace.c657 return EXCEPTION_SYSCALL_ERROR;
662 return EXCEPTION_SYSCALL_ERROR;
668 return EXCEPTION_SYSCALL_ERROR;
901 ret.status = EXCEPTION_SYSCALL_ERROR;
930 ret.status = EXCEPTION_SYSCALL_ERROR;
940 ret.status = EXCEPTION_SYSCALL_ERROR;
977 return EXCEPTION_SYSCALL_ERROR;
993 return EXCEPTION_SYSCALL_ERROR;
1003 return EXCEPTION_SYSCALL_ERROR;
1016 return EXCEPTION_SYSCALL_ERROR;
[all...]
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/object/
H A Dinterrupt.h31 return EXCEPTION_SYSCALL_ERROR;
/seL4-l4v-10.1.1/seL4/src/plat/pc99/machine/
H A Dioapic.c115 return EXCEPTION_SYSCALL_ERROR;
122 return EXCEPTION_SYSCALL_ERROR;
129 return EXCEPTION_SYSCALL_ERROR;
137 return EXCEPTION_SYSCALL_ERROR;
144 return EXCEPTION_SYSCALL_ERROR;
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/kernel/
H A Dvspace.c665 return EXCEPTION_SYSCALL_ERROR;
671 return EXCEPTION_SYSCALL_ERROR;
677 return EXCEPTION_SYSCALL_ERROR;
1749 return EXCEPTION_SYSCALL_ERROR;
1760 return EXCEPTION_SYSCALL_ERROR;
1767 return EXCEPTION_SYSCALL_ERROR;
1773 return EXCEPTION_SYSCALL_ERROR;
1785 return EXCEPTION_SYSCALL_ERROR;
1792 return EXCEPTION_SYSCALL_ERROR;
1812 return EXCEPTION_SYSCALL_ERROR;
[all...]
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/
H A Dvspace.c748 return EXCEPTION_SYSCALL_ERROR;
753 return EXCEPTION_SYSCALL_ERROR;
760 return EXCEPTION_SYSCALL_ERROR;
1710 ret.status = EXCEPTION_SYSCALL_ERROR;
1727 ret.status = EXCEPTION_SYSCALL_ERROR;
1750 ret.status = EXCEPTION_SYSCALL_ERROR;
1768 ret.status = EXCEPTION_SYSCALL_ERROR;
1817 ret.status = EXCEPTION_SYSCALL_ERROR;
1848 ret.status = EXCEPTION_SYSCALL_ERROR;
2214 return EXCEPTION_SYSCALL_ERROR;
[all...]
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/kernel/
H A Dvspace.c1209 return EXCEPTION_SYSCALL_ERROR;
1219 return EXCEPTION_SYSCALL_ERROR;
1225 return EXCEPTION_SYSCALL_ERROR;
1233 return EXCEPTION_SYSCALL_ERROR;
1244 return EXCEPTION_SYSCALL_ERROR;
1255 return EXCEPTION_SYSCALL_ERROR;
1265 return EXCEPTION_SYSCALL_ERROR;
1272 return EXCEPTION_SYSCALL_ERROR;
1280 return EXCEPTION_SYSCALL_ERROR;
1289 return EXCEPTION_SYSCALL_ERROR;
[all...]
/seL4-l4v-10.1.1/seL4/src/kernel/
H A Dcspace.c85 ret.status = EXCEPTION_SYSCALL_ERROR;
93 ret.status = EXCEPTION_SYSCALL_ERROR;
101 ret.status = EXCEPTION_SYSCALL_ERROR;
110 ret.status = EXCEPTION_SYSCALL_ERROR;
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/object/
H A Dobjecttype.c51 ret.status = EXCEPTION_SYSCALL_ERROR;
63 ret.status = EXCEPTION_SYSCALL_ERROR;
75 ret.status = EXCEPTION_SYSCALL_ERROR;
87 ret.status = EXCEPTION_SYSCALL_ERROR;
/seL4-l4v-10.1.1/seL4/src/arch/x86/32/kernel/
H A Dvspace_32paging.c274 return EXCEPTION_SYSCALL_ERROR;
284 return EXCEPTION_SYSCALL_ERROR;
304 return EXCEPTION_SYSCALL_ERROR;
315 return EXCEPTION_SYSCALL_ERROR;

Completed in 98 milliseconds

12