Searched refs:EXCEPTION_LOOKUP_FAULT (Results 1 - 11 of 11) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/api/
H A Dfailures.h23 EXCEPTION_LOOKUP_FAULT, enumerator in enum:exception
/seL4-l4v-10.1.1/seL4/src/kernel/
H A Dcspace.c150 ret.status = EXCEPTION_LOOKUP_FAULT;
172 ret.status = EXCEPTION_LOOKUP_FAULT;
179 ret.status = EXCEPTION_LOOKUP_FAULT;
/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dept.c91 ret.status = EXCEPTION_LOOKUP_FAULT;
118 ret.status = EXCEPTION_LOOKUP_FAULT;
141 ret.status = EXCEPTION_LOOKUP_FAULT;
149 ret.status = EXCEPTION_LOOKUP_FAULT;
172 ret.status = EXCEPTION_LOOKUP_FAULT;
181 ret.status = EXCEPTION_LOOKUP_FAULT;
235 ret.status = EXCEPTION_LOOKUP_FAULT;
439 ret.status = EXCEPTION_LOOKUP_FAULT;
632 ret.status = EXCEPTION_LOOKUP_FAULT;
H A Dvspace.c559 ret.status = EXCEPTION_LOOKUP_FAULT;
635 ret.status = EXCEPTION_LOOKUP_FAULT;
/seL4-l4v-10.1.1/seL4/src/arch/arm/object/
H A Diospace.c74 pt_ret.status = EXCEPTION_LOOKUP_FAULT;
81 pt_ret.status = EXCEPTION_LOOKUP_FAULT;
90 pt_ret.status = EXCEPTION_LOOKUP_FAULT;
/seL4-l4v-10.1.1/seL4/src/arch/x86/object/
H A Diospace.c95 ret.status = EXCEPTION_LOOKUP_FAULT;
121 ret.status = EXCEPTION_LOOKUP_FAULT;
/seL4-l4v-10.1.1/seL4/src/arch/x86/32/kernel/
H A Dvspace_32paging.c349 ret.status = EXCEPTION_LOOKUP_FAULT;
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/kernel/
H A Dvspace.c610 ret.status = EXCEPTION_LOOKUP_FAULT;
619 ret.status = EXCEPTION_LOOKUP_FAULT;
706 ret.status = EXCEPTION_LOOKUP_FAULT;
737 ret.status = EXCEPTION_LOOKUP_FAULT;
768 ret.status = EXCEPTION_LOOKUP_FAULT;
2600 ret.status = EXCEPTION_LOOKUP_FAULT;
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/kernel/
H A Dvspace.c1051 ret.status = EXCEPTION_LOOKUP_FAULT;
1084 ret.status = EXCEPTION_LOOKUP_FAULT;
1644 ret.status = EXCEPTION_LOOKUP_FAULT;
/seL4-l4v-10.1.1/seL4/src/arch/riscv/kernel/
H A Dvspace.c325 ret.status = EXCEPTION_LOOKUP_FAULT;
334 ret.status = EXCEPTION_LOOKUP_FAULT;
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/
H A Dvspace.c691 ret.status = EXCEPTION_LOOKUP_FAULT;
700 ret.status = EXCEPTION_LOOKUP_FAULT;
787 ret.status = EXCEPTION_LOOKUP_FAULT;
3171 ret.status = EXCEPTION_LOOKUP_FAULT;

Completed in 117 milliseconds