Searched refs:seL4_RangeError (Results 1 - 18 of 18) sorted by relevance

/seL4-camkes-master/kernel/libsel4/include/sel4/
H A Derrors.h14 seL4_RangeError, enumerator in enum:__anon38
/seL4-camkes-master/kernel/include/arch/x86/arch/machine/
H A Ddebug.h142 ret.type = seL4_RangeError;
164 ret.type = seL4_RangeError;
179 ret.type = seL4_RangeError;
/seL4-camkes-master/projects/seL4_libs/libsel4utils/src/
H A Dstrerror.c31 [seL4_RangeError] = "seL4_RangeError",
/seL4-camkes-master/kernel/src/plat/pc99/machine/
H A Dioapic.c116 current_syscall_error.type = seL4_RangeError;
123 current_syscall_error.type = seL4_RangeError;
131 current_syscall_error.type = seL4_RangeError;
138 current_syscall_error.type = seL4_RangeError;
/seL4-camkes-master/kernel/src/object/
H A Dschedcontrol.c118 current_syscall_error.type = seL4_RangeError;
126 current_syscall_error.type = seL4_RangeError;
134 current_syscall_error.type = seL4_RangeError;
141 current_syscall_error.type = seL4_RangeError;
H A Duntyped.c83 current_syscall_error.type = seL4_RangeError;
141 current_syscall_error.type = seL4_RangeError;
149 current_syscall_error.type = seL4_RangeError;
156 current_syscall_error.type = seL4_RangeError;
H A Dtcb.c43 current_syscall_error.type = seL4_RangeError;
945 current_syscall_error.type = seL4_RangeError;
2059 case seL4_RangeError:
/seL4-camkes-master/kernel/include/arch/arm/arch/object/
H A Dinterrupt.h58 current_syscall_error.type = seL4_RangeError;
/seL4-camkes-master/kernel/src/arch/x86/object/
H A Dinterrupt.c47 current_syscall_error.type = seL4_RangeError;
106 current_syscall_error.type = seL4_RangeError;
159 current_syscall_error.type = seL4_RangeError;
166 current_syscall_error.type = seL4_RangeError;
173 current_syscall_error.type = seL4_RangeError;
/seL4-camkes-master/projects/seL4_libs/libsel4serialserver/src/
H A Dclientapi.c61 return seL4_RangeError;
203 return -seL4_RangeError;
213 return -seL4_RangeError;
232 return -seL4_RangeError;
H A Dserver.c371 return seL4_RangeError;
/seL4-camkes-master/kernel/src/arch/arm/object/
H A Dvcpu.c418 current_syscall_error.type = seL4_RangeError;
422 current_syscall_error.type = seL4_RangeError;
426 current_syscall_error.type = seL4_RangeError;
430 current_syscall_error.type = seL4_RangeError;
434 current_syscall_error.type = seL4_RangeError;
438 current_syscall_error.type = seL4_RangeError;
443 current_syscall_error.type = seL4_RangeError;
447 current_syscall_error.type = seL4_RangeError;
H A Dsmmu.c66 current_syscall_error.type = seL4_RangeError;
217 current_syscall_error.type = seL4_RangeError;
/seL4-camkes-master/kernel/include/arch/arm/arch/machine/
H A Ddebug.h194 ret.type = seL4_RangeError;
202 ret.type = seL4_RangeError;
/seL4-camkes-master/kernel/src/arch/riscv/object/
H A Dinterrupt.c16 current_syscall_error.type = seL4_RangeError;
/seL4-camkes-master/kernel/src/kernel/
H A Dcspace.c82 current_syscall_error.type = seL4_RangeError;
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c2128 current_syscall_error.type = seL4_RangeError;
/seL4-camkes-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c1768 current_syscall_error.type = seL4_RangeError;

Completed in 208 milliseconds