Searched refs:rangeErrorMin (Results 1 - 12 of 12) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/api/
H A Dfailures.h34 word_t rangeErrorMin; member in struct:syscall_error
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/object/
H A Dinterrupt.h28 current_syscall_error.rangeErrorMin = 0;
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/machine/
H A Ddebug.h153 ret.rangeErrorMin = 0;
176 ret.rangeErrorMin = 0;
192 ret.rangeErrorMin = 0;
/seL4-l4v-10.1.1/seL4/src/plat/pc99/machine/
H A Dioapic.c120 current_syscall_error.rangeErrorMin = 0;
127 current_syscall_error.rangeErrorMin = 0;
135 current_syscall_error.rangeErrorMin = 0;
142 current_syscall_error.rangeErrorMin = 0;
/seL4-l4v-10.1.1/seL4/src/arch/x86/object/
H A Dinterrupt.c54 current_syscall_error.rangeErrorMin = irq_isa_min;
114 current_syscall_error.rangeErrorMin = 0;
168 current_syscall_error.rangeErrorMin = 0;
175 current_syscall_error.rangeErrorMin = 0;
182 current_syscall_error.rangeErrorMin = 0;
/seL4-l4v-10.1.1/seL4/src/object/
H A Duntyped.c90 current_syscall_error.rangeErrorMin = 0;
139 current_syscall_error.rangeErrorMin = 0;
147 current_syscall_error.rangeErrorMin = 1;
154 current_syscall_error.rangeErrorMin = 1;
H A Dtcb.c46 current_syscall_error.rangeErrorMin = seL4_MinPrio;
859 current_syscall_error.rangeErrorMin = 1;
1674 current_syscall_error.rangeErrorMin);
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/machine/
H A Ddebug.h207 ret.rangeErrorMin = 0;
215 ret.rangeErrorMin = 0;
/seL4-l4v-10.1.1/seL4/src/arch/arm/object/
H A Dvcpu.c663 current_syscall_error.rangeErrorMin = 0;
671 current_syscall_error.rangeErrorMin = 0;
679 current_syscall_error.rangeErrorMin = 0;
688 current_syscall_error.rangeErrorMin = 0;
/seL4-l4v-10.1.1/seL4/src/kernel/
H A Dcspace.c91 current_syscall_error.rangeErrorMin = 1;
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/
H A Dvspace.c2280 current_syscall_error.rangeErrorMin = start;
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/kernel/
H A Dvspace.c1809 current_syscall_error.rangeErrorMin = start;

Completed in 63 milliseconds