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

12

/seL4-l4v-10.1.1/seL4/src/api/
H A Dsyscall.c58 return EXCEPTION_NONE;
67 return EXCEPTION_NONE;
73 return EXCEPTION_NONE;
86 return EXCEPTION_NONE;
93 return EXCEPTION_NONE;
122 return EXCEPTION_NONE;
129 return EXCEPTION_NONE;
143 return EXCEPTION_NONE;
157 return EXCEPTION_NONE;
164 return EXCEPTION_NONE;
[all...]
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/object/
H A Diospace.h41 return EXCEPTION_NONE;
47 return EXCEPTION_NONE;
53 return EXCEPTION_NONE;
59 return EXCEPTION_NONE;
H A Dinterrupt.h33 return EXCEPTION_NONE;
/seL4-l4v-10.1.1/seL4/src/model/
H A Dpreemption.c41 return EXCEPTION_NONE;
/seL4-l4v-10.1.1/seL4/include/api/
H A Dfailures.h21 EXCEPTION_NONE, enumerator in enum:exception
/seL4-l4v-10.1.1/seL4/src/arch/riscv/object/
H A Dtcb.c35 return EXCEPTION_NONE;
/seL4-l4v-10.1.1/seL4/src/arch/x86/object/
H A Dtcb.c25 return EXCEPTION_NONE;
41 if (e != EXCEPTION_NONE) {
48 return EXCEPTION_NONE;
74 if (dc_ret.status != EXCEPTION_NONE) {
H A Dobjecttype.c35 ret.status = EXCEPTION_NONE;
47 ret.status = EXCEPTION_NONE;
59 ret.status = EXCEPTION_NONE;
62 ret.status = EXCEPTION_NONE;
67 ret.status = EXCEPTION_NONE;
73 ret.status = EXCEPTION_NONE;
78 ret.status = EXCEPTION_NONE;
90 ret.status = EXCEPTION_NONE;
95 ret.status = EXCEPTION_NONE;
106 ret.status = EXCEPTION_NONE;
[all...]
H A Dioport.c56 return EXCEPTION_NONE;
110 return EXCEPTION_NONE;
165 if (lu_ret.status != EXCEPTION_NONE ) {
172 if (status != EXCEPTION_NONE) {
225 return EXCEPTION_NONE;
243 return EXCEPTION_NONE;
279 if (ret != EXCEPTION_NONE) {
315 if (ret != EXCEPTION_NONE) {
H A Diospace.c105 ret.status = EXCEPTION_NONE;
156 return EXCEPTION_NONE;
166 return EXCEPTION_NONE;
176 return EXCEPTION_NONE;
269 if (lu_ret.status != EXCEPTION_NONE) {
305 return EXCEPTION_NONE;
380 if (lu_ret.status != EXCEPTION_NONE || lu_ret.level != 0) {
450 if (lu_ret.status != EXCEPTION_NONE || lu_ret.level != 0) {
485 if (lu_ret.status != EXCEPTION_NONE || lu_ret.level != 0) {
512 return EXCEPTION_NONE;
[all...]
/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dept.c77 return EXCEPTION_NONE;
96 ret.status = EXCEPTION_NONE;
125 ret.status = EXCEPTION_NONE;
136 if (lu_ret.status != EXCEPTION_NONE) {
156 ret.status = EXCEPTION_NONE;
167 if (lu_ret.status != EXCEPTION_NONE) {
189 ret.status = EXCEPTION_NONE;
217 if (asid_ret.status != EXCEPTION_NONE) {
230 ret.status = EXCEPTION_NONE;
247 if (lu_ret.status == EXCEPTION_NONE) {
[all...]
H A Dvspace.c35 return EXCEPTION_NONE;
79 return EXCEPTION_NONE;
564 ret.status = EXCEPTION_NONE;
626 if (pdSlot.status != EXCEPTION_NONE) {
647 ret.status = EXCEPTION_NONE;
671 return EXCEPTION_NONE;
719 if (find_ret.status != EXCEPTION_NONE) {
726 if (lu_ret.status != EXCEPTION_NONE) {
739 if (pd_ret.status != EXCEPTION_NONE) {
773 if (find_ret.status != EXCEPTION_NONE) {
[all...]
/seL4-l4v-10.1.1/seL4/src/arch/arm/object/
H A Dinterrupt.c51 if (status != EXCEPTION_NONE) {
62 if (lu_ret.status != EXCEPTION_NONE) {
71 if (status != EXCEPTION_NONE) {
H A Dtcb.c28 return EXCEPTION_NONE;
H A Diospace.c60 ret.status = EXCEPTION_NONE;
73 if (pd_ret.status != EXCEPTION_NONE) {
95 pt_ret.status = EXCEPTION_NONE;
147 return EXCEPTION_NONE;
175 return EXCEPTION_NONE;
252 return EXCEPTION_NONE;
314 if (lu_ret.status != EXCEPTION_NONE) {
403 if (lu_ret.status != EXCEPTION_NONE) {
440 if (lu_ret.status != EXCEPTION_NONE) {
484 return EXCEPTION_NONE;
[all...]
/seL4-l4v-10.1.1/seL4/src/arch/x86/32/kernel/
H A Dvspace_32paging.c172 pdSlot.status = EXCEPTION_NONE;
224 return EXCEPTION_NONE;
235 if (pdSlot.status == EXCEPTION_NONE &&
241 return EXCEPTION_NONE;
244 assert(ptSlot.status == EXCEPTION_NONE && pte_ptr_get_present(ptSlot.ptSlot));
249 return EXCEPTION_NONE;
294 if ((pdSlot.status != EXCEPTION_NONE ||
297 (ptSlot.status != EXCEPTION_NONE ||
337 if (pdSlot.status == EXCEPTION_NONE &&
345 if (ptSlot.status == EXCEPTION_NONE
[all...]
/seL4-l4v-10.1.1/seL4/src/kernel/
H A Dfaulthandler.c25 if (status != EXCEPTION_NONE) {
42 if (lu_ret.status != EXCEPTION_NONE) {
60 return EXCEPTION_NONE;
H A Dcspace.c26 if (unlikely(lu_ret.status != EXCEPTION_NONE)) {
32 ret.status = EXCEPTION_NONE;
44 if (unlikely(lu_ret.status != EXCEPTION_NONE)) {
51 ret.status = EXCEPTION_NONE;
97 if (unlikely(res_ret.status != EXCEPTION_NONE)) {
115 ret.status = EXCEPTION_NONE;
187 ret.status = EXCEPTION_NONE;
199 ret.status = EXCEPTION_NONE;
206 ret.status = EXCEPTION_NONE;
/seL4-l4v-10.1.1/seL4/src/object/
H A Dcnode.c67 if (lu_ret.status != EXCEPTION_NONE) {
93 if (status != EXCEPTION_NONE) {
99 if (lu_ret.status != EXCEPTION_NONE) {
126 if (dc_ret.status != EXCEPTION_NONE) {
147 if (dc_ret.status != EXCEPTION_NONE) {
177 return EXCEPTION_NONE;
206 if (status != EXCEPTION_NONE) {
251 if (lu_ret.status != EXCEPTION_NONE) {
257 if (lu_ret.status != EXCEPTION_NONE) {
270 if (status != EXCEPTION_NONE) {
[all...]
H A Duntyped.c117 if (lu_ret.status != EXCEPTION_NONE) {
165 if (status != EXCEPTION_NONE) {
184 if (status != EXCEPTION_NONE) {
247 return EXCEPTION_NONE;
266 if (status != EXCEPTION_NONE) {
271 return EXCEPTION_NONE;
289 if (status != EXCEPTION_NONE) {
304 return EXCEPTION_NONE;
H A Dinterrupt.c53 if (status != EXCEPTION_NONE) {
64 if (lu_ret.status != EXCEPTION_NONE) {
72 if (status != EXCEPTION_NONE) {
91 return EXCEPTION_NONE;
102 return EXCEPTION_NONE;
129 return EXCEPTION_NONE;
135 return EXCEPTION_NONE;
/seL4-l4v-10.1.1/seL4/src/machine/
H A Dfpu.c64 return EXCEPTION_NONE;
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/object/
H A Dobjecttype.c46 ret.status = EXCEPTION_NONE;
58 ret.status = EXCEPTION_NONE;
70 ret.status = EXCEPTION_NONE;
82 ret.status = EXCEPTION_NONE;
93 ret.status = EXCEPTION_NONE;
99 ret.status = EXCEPTION_NONE;
105 ret.status = EXCEPTION_NONE;
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/kernel/
H A Dvspace.c624 ret.status = EXCEPTION_NONE;
680 return EXCEPTION_NONE;
690 ret.status = EXCEPTION_NONE;
715 ret.status = EXCEPTION_NONE;
728 if (pudSlot.status != EXCEPTION_NONE) {
746 ret.status = EXCEPTION_NONE;
759 if (pdSlot.status != EXCEPTION_NONE) {
778 ret.status = EXCEPTION_NONE;
790 if (pudSlot.status != EXCEPTION_NONE) {
1048 if (unlikely(find_ret.status != EXCEPTION_NONE || find_re
[all...]
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/kernel/
H A Dvspace.c500 if (unlikely(find_ret.status != EXCEPTION_NONE || find_ret.vspace_root != pml4)) {
850 return EXCEPTION_NONE;
1060 ret.status = EXCEPTION_NONE;
1074 if (pdptSlot.status != EXCEPTION_NONE) {
1093 ret.status = EXCEPTION_NONE;
1131 if (find_ret.status != EXCEPTION_NONE) {
1136 if (lu_ret.status != EXCEPTION_NONE) {
1172 return EXCEPTION_NONE;
1182 return EXCEPTION_NONE;
1261 if (find_ret.status != EXCEPTION_NONE) {
[all...]

Completed in 171 milliseconds

12