Lines Matching defs:ret
134 syscall_error_t ret;
136 ret.type = seL4_NoError;
137 return ret;
147 syscall_error_t ret = {
153 ret.rangeErrorMin = 0;
154 ret.rangeErrorMax = 3;
155 ret.type = seL4_RangeError;
156 return ret;
160 ret.invalidArgumentNumber = 3;
161 ret.type = seL4_InvalidArgument;
162 return ret;
164 return ret;
170 syscall_error_t ret = {
176 ret.rangeErrorMin = 0;
177 ret.rangeErrorMax = 3;
178 ret.type = seL4_RangeError;
180 return ret;
186 syscall_error_t ret = {
192 ret.rangeErrorMin = 0;
193 ret.rangeErrorMax = 3;
194 ret.type = seL4_RangeError;
196 return ret;