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

/seL4-l4v-10.1.1/seL4/include/api/
H A Dfailures.h35 word_t rangeErrorMax; member in struct:syscall_error
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/object/
H A Dinterrupt.h29 current_syscall_error.rangeErrorMax = maxIRQ;
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/machine/
H A Ddebug.h154 ret.rangeErrorMax = 3;
177 ret.rangeErrorMax = 3;
193 ret.rangeErrorMax = 3;
/seL4-l4v-10.1.1/seL4/src/plat/pc99/machine/
H A Dioapic.c121 current_syscall_error.rangeErrorMax = num_ioapics - 1;
128 current_syscall_error.rangeErrorMax = IOAPIC_IRQ_LINES - 1;
136 current_syscall_error.rangeErrorMax = 1;
143 current_syscall_error.rangeErrorMax = 1;
/seL4-l4v-10.1.1/seL4/src/arch/x86/object/
H A Dinterrupt.c55 current_syscall_error.rangeErrorMax = irq_isa_max;
115 current_syscall_error.rangeErrorMax = irq_user_max - irq_user_min;
169 current_syscall_error.rangeErrorMax = PCI_BUS_MAX;
176 current_syscall_error.rangeErrorMax = PCI_DEV_MAX;
183 current_syscall_error.rangeErrorMax = PCI_FUNC_MAX;
/seL4-l4v-10.1.1/seL4/src/object/
H A Duntyped.c91 current_syscall_error.rangeErrorMax = seL4_MaxUntypedBits;
140 current_syscall_error.rangeErrorMax = nodeSize - 1;
148 current_syscall_error.rangeErrorMax = CONFIG_RETYPE_FAN_OUT_LIMIT;
155 current_syscall_error.rangeErrorMax = nodeSize - nodeOffset;
H A Dtcb.c47 current_syscall_error.rangeErrorMax = mcp;
860 current_syscall_error.rangeErrorMax = n_frameRegisters +
1676 current_syscall_error.rangeErrorMax);
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/machine/
H A Ddebug.h208 ret.rangeErrorMax = seL4_NumExclusiveBreakpoints - 1;
216 ret.rangeErrorMax = seL4_NumExclusiveWatchpoints - 1;
/seL4-l4v-10.1.1/seL4/src/arch/arm/object/
H A Dvcpu.c664 current_syscall_error.rangeErrorMax = (1U << 10) - 1;
672 current_syscall_error.rangeErrorMax = 31;
680 current_syscall_error.rangeErrorMax = 1;
689 current_syscall_error.rangeErrorMax = gic_vcpu_num_list_regs - 1;
/seL4-l4v-10.1.1/seL4/src/kernel/
H A Dcspace.c92 current_syscall_error.rangeErrorMax = wordBits;
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/
H A Dvspace.c2281 current_syscall_error.rangeErrorMax =
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/kernel/
H A Dvspace.c1810 current_syscall_error.rangeErrorMax = PAGE_BASE(start, resolve_ret.frameSize) +

Completed in 48 milliseconds