Lines Matching refs:current_syscall_error
44 current_syscall_error.type = seL4_IllegalOperation; in Arch_checkIRQ()
47 current_syscall_error.type = seL4_RangeError; in Arch_checkIRQ()
48 current_syscall_error.rangeErrorMin = irq_isa_min; in Arch_checkIRQ()
49 current_syscall_error.rangeErrorMax = irq_isa_max; in Arch_checkIRQ()
81 current_syscall_error.type = seL4_IllegalOperation; in Arch_decodeIRQControlInvocation()
88 current_syscall_error.type = seL4_IllegalOperation; in Arch_decodeIRQControlInvocation()
96 current_syscall_error.type = seL4_TruncatedMessage; in Arch_decodeIRQControlInvocation()
105 current_syscall_error.type = seL4_RangeError; in Arch_decodeIRQControlInvocation()
106 current_syscall_error.rangeErrorMin = 0; in Arch_decodeIRQControlInvocation()
107 current_syscall_error.rangeErrorMax = irq_user_max - irq_user_min; in Arch_decodeIRQControlInvocation()
114 current_syscall_error.type = seL4_RevokeFirst; in Arch_decodeIRQControlInvocation()
158 current_syscall_error.type = seL4_RangeError; in Arch_decodeIRQControlInvocation()
159 current_syscall_error.rangeErrorMin = 0; in Arch_decodeIRQControlInvocation()
160 current_syscall_error.rangeErrorMax = PCI_BUS_MAX; in Arch_decodeIRQControlInvocation()
165 current_syscall_error.type = seL4_RangeError; in Arch_decodeIRQControlInvocation()
166 current_syscall_error.rangeErrorMin = 0; in Arch_decodeIRQControlInvocation()
167 current_syscall_error.rangeErrorMax = PCI_DEV_MAX; in Arch_decodeIRQControlInvocation()
172 current_syscall_error.type = seL4_RangeError; in Arch_decodeIRQControlInvocation()
173 current_syscall_error.rangeErrorMin = 0; in Arch_decodeIRQControlInvocation()
174 current_syscall_error.rangeErrorMax = PCI_FUNC_MAX; in Arch_decodeIRQControlInvocation()