Lines Matching defs:ret
145 syscall_error_t ret = {
157 ret.type = seL4_IllegalOperation;
158 return ret;
172 ret.type = seL4_InvalidArgument;
173 ret.invalidArgumentNumber = 0;
174 return ret;
181 ret.type = seL4_InvalidArgument;
182 ret.invalidArgumentNumber = 0;
183 return ret;
187 return ret;
197 syscall_error_t ret = {
206 ret.type = seL4_RangeError;
207 ret.rangeErrorMin = 0;
208 ret.rangeErrorMax = seL4_NumExclusiveBreakpoints - 1;
209 return ret;
214 ret.type = seL4_RangeError;
215 ret.rangeErrorMin = 0;
216 ret.rangeErrorMax = seL4_NumExclusiveWatchpoints - 1;
217 return ret;
223 ret.type = seL4_InvalidArgument;
224 ret.invalidArgumentNumber = 3;
225 return ret;
229 ret.type = seL4_InvalidArgument;
230 ret.invalidArgumentNumber = 3;
231 return ret;
234 return ret;
240 syscall_error_t ret = {
246 ret.type = seL4_NoError;
247 return ret;
249 return ret;
255 syscall_error_t ret = {
261 ret.type = seL4_NoError;
262 return ret;
276 ret.type = seL4_IllegalOperation;
277 return ret;
281 return ret;