Bug Summary

File:obj-scan-build/trans/fsysServer.c
Location:line 581, column 2
Description:Value stored to 'msgh_simple' is never read

Annotated Source Code

1/* Module fsys */
2
3#ifndef _GNU_SOURCE1
4#define _GNU_SOURCE1 1
5#endif
6
7#define EXPORT_BOOLEAN
8#include <mach/boolean.h>
9#include <mach/kern_return.h>
10#include <mach/message.h>
11#include <mach/mig_errors.h>
12#include <mach/mig_support.h>
13
14#ifndef mig_internalstatic
15#define mig_internalstatic static
16#endif
17
18#ifndef mig_external
19#define mig_external
20#endif
21
22#ifndef TypeCheck1
23#define TypeCheck1 1
24#endif
25
26#ifndef UseExternRCSId1
27#define UseExternRCSId1 1
28#endif
29
30#define BAD_TYPECHECK(type, check)({ union { mach_msg_type_t t; unsigned32_t w; } _t, _c; _t.t =
*(type); _c.t = *(check); _t.w != _c.w; }) ({\
31 union { mach_msg_type_t t; unsigned32_t w; } _t, _c;\
32 _t.t = *(type); _c.t = *(check); _t.w != _c.w; })
33#define msgh_request_portmsgh_local_port msgh_local_port
34#define MACH_MSGH_BITS_REQUEST(bits)(((bits) & 0x0000ff00) >> 8) MACH_MSGH_BITS_LOCAL(bits)(((bits) & 0x0000ff00) >> 8)
35#define msgh_reply_portmsgh_remote_port msgh_remote_port
36#define MACH_MSGH_BITS_REPLY(bits)((bits) & 0x000000ff) MACH_MSGH_BITS_REMOTE(bits)((bits) & 0x000000ff)
37
38#include <mach/std_types.h>
39#include <mach/mach_types.h>
40#include <device/device_types.h>
41#include <device/net_status.h>
42#include <sys/types.h>
43#include <sys/stat.h>
44#include <sys/statfs.h>
45#include <sys/resource.h>
46#include <sys/utsname.h>
47#include <hurd/hurd_types.h>
48
49/* Routine fsys_startup */
50mig_internalstatic void _Xfsys_startup
51 (mach_msg_header_t *InHeadP, mach_msg_header_t *OutHeadP)
52{
53 typedef struct {
54 mach_msg_header_t Head;
55 mach_msg_type_t openflagsType;
56 int openflags;
57 mach_msg_type_t control_portType;
58 mach_port_t control_port;
59 } Request;
60
61 typedef struct {
62 mach_msg_header_t Head;
63 mach_msg_type_t RetCodeType;
64 kern_return_t RetCode;
65 mach_msg_type_t realnodeType;
66 mach_port_t realnode;
67 } Reply;
68
69 Request *In0P = (Request *) InHeadP;
70 Reply *OutP = (Reply *) OutHeadP;
71 mig_external kern_return_t S_fsys_startup
72 (mach_port_t bootstrap, int openflags, mach_port_t control_port, mach_port_t *realnode, mach_msg_type_name_t *realnodePoly);
73
74 boolean_t msgh_simple;
75 const mach_msg_type_t openflagsCheck = {
76 /* msgt_name = */ 2,
77 /* msgt_size = */ 32,
78 /* msgt_number = */ 1,
79 /* msgt_inline = */ TRUE((boolean_t) 1),
80 /* msgt_longform = */ FALSE((boolean_t) 0),
81 /* msgt_deallocate = */ FALSE((boolean_t) 0),
82 /* msgt_unused = */ 0
83 };
84
85 const mach_msg_type_t control_portCheck = {
86 /* msgt_name = */ 17,
87 /* msgt_size = */ 32,
88 /* msgt_number = */ 1,
89 /* msgt_inline = */ TRUE((boolean_t) 1),
90 /* msgt_longform = */ FALSE((boolean_t) 0),
91 /* msgt_deallocate = */ FALSE((boolean_t) 0),
92 /* msgt_unused = */ 0
93 };
94
95 const mach_msg_type_t realnodeType = {
96 /* msgt_name = */ -1,
97 /* msgt_size = */ 32,
98 /* msgt_number = */ 1,
99 /* msgt_inline = */ TRUE((boolean_t) 1),
100 /* msgt_longform = */ FALSE((boolean_t) 0),
101 /* msgt_deallocate = */ FALSE((boolean_t) 0),
102 /* msgt_unused = */ 0
103 };
104
105 mach_msg_type_name_t realnodePoly;
106
107#if TypeCheck1
108 if ((In0P->Head.msgh_size != 40) ||
109 !(In0P->Head.msgh_bits & MACH_MSGH_BITS_COMPLEX0x80000000U))
110 { OutP->RetCode = MIG_BAD_ARGUMENTS-304; return; }
111#endif /* TypeCheck */
112
113#if TypeCheck1
114 if (BAD_TYPECHECK(&In0P->openflagsType, &openflagsCheck)({ union { mach_msg_type_t t; unsigned32_t w; } _t, _c; _t.t =
*(&In0P->openflagsType); _c.t = *(&openflagsCheck
); _t.w != _c.w; }))
115 { OutP->RetCode = MIG_BAD_ARGUMENTS-304; return; }
116#endif /* TypeCheck */
117
118#if TypeCheck1
119 if (BAD_TYPECHECK(&In0P->control_portType, &control_portCheck)({ union { mach_msg_type_t t; unsigned32_t w; } _t, _c; _t.t =
*(&In0P->control_portType); _c.t = *(&control_portCheck
); _t.w != _c.w; }))
120 { OutP->RetCode = MIG_BAD_ARGUMENTS-304; return; }
121#endif /* TypeCheck */
122
123 OutP->RetCode = S_fsys_startup(In0P->Head.msgh_request_portmsgh_local_port, In0P->openflags, In0P->control_port, &OutP->realnode, &realnodePoly);
124 if (OutP->RetCode != KERN_SUCCESS0)
125 return;
126
127 msgh_simple = TRUE((boolean_t) 1);
128 OutP->Head.msgh_size = 40;
129
130 OutP->realnodeType = realnodeType;
131
132 if (MACH_MSG_TYPE_PORT_ANY(realnodePoly)(((realnodePoly) >= 16) && ((realnodePoly) <= 21
)))
133 msgh_simple = FALSE((boolean_t) 0);
134
135 OutP->realnodeType.msgt_name = realnodePoly;
136
137 if (!msgh_simple)
138 OutP->Head.msgh_bits |= MACH_MSGH_BITS_COMPLEX0x80000000U;
139}
140
141/* Routine fsys_goaway */
142mig_internalstatic void _Xfsys_goaway
143 (mach_msg_header_t *InHeadP, mach_msg_header_t *OutHeadP)
144{
145 typedef struct {
146 mach_msg_header_t Head;
147 mach_msg_type_t flagsType;
148 int flags;
149 } Request;
150
151 typedef struct {
152 mach_msg_header_t Head;
153 mach_msg_type_t RetCodeType;
154 kern_return_t RetCode;
155 } Reply;
156
157 Request *In0P = (Request *) InHeadP;
158 Reply *OutP = (Reply *) OutHeadP;
159 mig_external kern_return_t S_fsys_goaway
160 (fsys_t fsys, int flags);
161
162 const mach_msg_type_t flagsCheck = {
163 /* msgt_name = */ 2,
164 /* msgt_size = */ 32,
165 /* msgt_number = */ 1,
166 /* msgt_inline = */ TRUE((boolean_t) 1),
167 /* msgt_longform = */ FALSE((boolean_t) 0),
168 /* msgt_deallocate = */ FALSE((boolean_t) 0),
169 /* msgt_unused = */ 0
170 };
171
172#if TypeCheck1
173 if ((In0P->Head.msgh_size != 32) ||
174 (In0P->Head.msgh_bits & MACH_MSGH_BITS_COMPLEX0x80000000U))
175 { OutP->RetCode = MIG_BAD_ARGUMENTS-304; return; }
176#endif /* TypeCheck */
177
178#if TypeCheck1
179 if (BAD_TYPECHECK(&In0P->flagsType, &flagsCheck)({ union { mach_msg_type_t t; unsigned32_t w; } _t, _c; _t.t =
*(&In0P->flagsType); _c.t = *(&flagsCheck); _t.w !=
_c.w; }))
180 { OutP->RetCode = MIG_BAD_ARGUMENTS-304; return; }
181#endif /* TypeCheck */
182
183 OutP->RetCode = S_fsys_goaway(In0P->Head.msgh_request_portmsgh_local_port, In0P->flags);
184}
185
186/* Routine fsys_getroot */
187mig_internalstatic void _Xfsys_getroot
188 (mach_msg_header_t *InHeadP, mach_msg_header_t *OutHeadP)
189{
190 typedef struct {
191 mach_msg_header_t Head;
192 mach_msg_type_t dotdot_nodeType;
193 mach_port_t dotdot_node;
194 mach_msg_type_long_t gen_uidsType;
195 uid_t gen_uids[512];
196 mach_msg_type_long_t gen_gidsType;
197 uid_t gen_gids[512];
198 mach_msg_type_t flagsType;
199 int flags;
200 } Request;
201
202 typedef struct {
203 mach_msg_header_t Head;
204 mach_msg_type_t RetCodeType;
205 kern_return_t RetCode;
206 mach_msg_type_t do_retryType;
207 retry_type do_retry;
208 mach_msg_type_t retry_nameType;
209 string_t retry_name;
210 mach_msg_type_t fileType;
211 mach_port_t file;
212 } Reply;
213
214 Request *In0P = (Request *) InHeadP;
215 Request *In1P;
216 Request *In2P;
217 Reply *OutP = (Reply *) OutHeadP;
218 mig_external kern_return_t S_fsys_getroot
219 (fsys_t fsys, mach_port_t dotdot_node, idarray_t gen_uids, mach_msg_type_number_t gen_uidsCnt, idarray_t gen_gids, mach_msg_type_number_t gen_gidsCnt, int flags, retry_type *do_retry, string_t retry_name, mach_port_t *file, mach_msg_type_name_t *filePoly);
220
221 boolean_t msgh_simple;
222 unsigned int msgh_size;
223 unsigned int msgh_size_delta;
224
225 const mach_msg_type_t dotdot_nodeCheck = {
226 /* msgt_name = */ 17,
227 /* msgt_size = */ 32,
228 /* msgt_number = */ 1,
229 /* msgt_inline = */ TRUE((boolean_t) 1),
230 /* msgt_longform = */ FALSE((boolean_t) 0),
231 /* msgt_deallocate = */ FALSE((boolean_t) 0),
232 /* msgt_unused = */ 0
233 };
234
235 const mach_msg_type_t flagsCheck = {
236 /* msgt_name = */ 2,
237 /* msgt_size = */ 32,
238 /* msgt_number = */ 1,
239 /* msgt_inline = */ TRUE((boolean_t) 1),
240 /* msgt_longform = */ FALSE((boolean_t) 0),
241 /* msgt_deallocate = */ FALSE((boolean_t) 0),
242 /* msgt_unused = */ 0
243 };
244
245 const mach_msg_type_t do_retryType = {
246 /* msgt_name = */ 2,
247 /* msgt_size = */ 32,
248 /* msgt_number = */ 1,
249 /* msgt_inline = */ TRUE((boolean_t) 1),
250 /* msgt_longform = */ FALSE((boolean_t) 0),
251 /* msgt_deallocate = */ FALSE((boolean_t) 0),
252 /* msgt_unused = */ 0
253 };
254
255 const mach_msg_type_t retry_nameType = {
256 /* msgt_name = */ MACH_MSG_TYPE_STRING_C12,
257 /* msgt_size = */ 8,
258 /* msgt_number = */ 1024,
259 /* msgt_inline = */ TRUE((boolean_t) 1),
260 /* msgt_longform = */ FALSE((boolean_t) 0),
261 /* msgt_deallocate = */ FALSE((boolean_t) 0),
262 /* msgt_unused = */ 0
263 };
264
265 const mach_msg_type_t fileType = {
266 /* msgt_name = */ -1,
267 /* msgt_size = */ 32,
268 /* msgt_number = */ 1,
269 /* msgt_inline = */ TRUE((boolean_t) 1),
270 /* msgt_longform = */ FALSE((boolean_t) 0),
271 /* msgt_deallocate = */ FALSE((boolean_t) 0),
272 /* msgt_unused = */ 0
273 };
274
275 mach_msg_type_name_t filePoly;
276
277#if TypeCheck1
278 msgh_size = In0P->Head.msgh_size;
279 if ((msgh_size < 64) ||
280 !(In0P->Head.msgh_bits & MACH_MSGH_BITS_COMPLEX0x80000000U))
281 { OutP->RetCode = MIG_BAD_ARGUMENTS-304; return; }
282#endif /* TypeCheck */
283
284#if TypeCheck1
285 if (BAD_TYPECHECK(&In0P->dotdot_nodeType, &dotdot_nodeCheck)({ union { mach_msg_type_t t; unsigned32_t w; } _t, _c; _t.t =
*(&In0P->dotdot_nodeType); _c.t = *(&dotdot_nodeCheck
); _t.w != _c.w; }))
286 { OutP->RetCode = MIG_BAD_ARGUMENTS-304; return; }
287#endif /* TypeCheck */
288
289#if TypeCheck1
290 if ((In0P->gen_uidsType.msgtl_header.msgt_longform != TRUE((boolean_t) 1)) ||
291 (In0P->gen_uidsType.msgtl_name != 2) ||
292 (In0P->gen_uidsType.msgtl_size != 32))
293 { OutP->RetCode = MIG_BAD_ARGUMENTS-304; return; }
294#endif /* TypeCheck */
295
296 msgh_size_delta = (In0P->gen_uidsType.msgtl_header.msgt_inline) ? 4 * In0P->gen_uidsType.msgtl_number : sizeof(uid_t *);
297#if TypeCheck1
298 if (msgh_size < 64 + msgh_size_delta)
299 { OutP->RetCode = MIG_BAD_ARGUMENTS-304; return; }
300 msgh_size -= msgh_size_delta;
301#endif /* TypeCheck */
302
303 In1P = (Request *) ((char *) In0P + msgh_size_delta - 2048);
304
305#if TypeCheck1
306 if ((In1P->gen_gidsType.msgtl_header.msgt_longform != TRUE((boolean_t) 1)) ||
307 (In1P->gen_gidsType.msgtl_name != 2) ||
308 (In1P->gen_gidsType.msgtl_size != 32))
309 { OutP->RetCode = MIG_BAD_ARGUMENTS-304; return; }
310#endif /* TypeCheck */
311
312 msgh_size_delta = (In1P->gen_gidsType.msgtl_header.msgt_inline) ? 4 * In1P->gen_gidsType.msgtl_number : sizeof(uid_t *);
313#if TypeCheck1
314 if (msgh_size != 64 + msgh_size_delta)
315 { OutP->RetCode = MIG_BAD_ARGUMENTS-304; return; }
316#endif /* TypeCheck */
317
318 In2P = (Request *) ((char *) In1P + msgh_size_delta - 2048);
319
320#if TypeCheck1
321 if (BAD_TYPECHECK(&In2P->flagsType, &flagsCheck)({ union { mach_msg_type_t t; unsigned32_t w; } _t, _c; _t.t =
*(&In2P->flagsType); _c.t = *(&flagsCheck); _t.w !=
_c.w; }))
322 { OutP->RetCode = MIG_BAD_ARGUMENTS-304; return; }
323#endif /* TypeCheck */
324
325 OutP->RetCode = S_fsys_getroot(In0P->Head.msgh_request_portmsgh_local_port, In0P->dotdot_node, (In0P->gen_uidsType.msgtl_header.msgt_inline) ? In0P->gen_uids : *((uid_t **)In0P->gen_uids), In0P->gen_uidsType.msgtl_number, (In1P->gen_gidsType.msgtl_header.msgt_inline) ? In1P->gen_gids : *((uid_t **)In1P->gen_gids), In1P->gen_gidsType.msgtl_number, In2P->flags, &OutP->do_retry, OutP->retry_name, &OutP->file, &filePoly);
326 if (OutP->RetCode == KERN_SUCCESS0)
327 if (!In1P->gen_gidsType.msgtl_header.msgt_inline)
328 __mig_deallocate(* (vm_offset_t *) In1P->gen_gids, 4 * In1P->gen_gidsType.msgtl_number);
329 if (OutP->RetCode == KERN_SUCCESS0)
330 if (!In0P->gen_uidsType.msgtl_header.msgt_inline)
331 __mig_deallocate(* (vm_offset_t *) In0P->gen_uids, 4 * In0P->gen_uidsType.msgtl_number);
332 if (OutP->RetCode != KERN_SUCCESS0)
333 return;
334
335 msgh_simple = TRUE((boolean_t) 1);
336 OutP->Head.msgh_size = 1076;
337
338 OutP->do_retryType = do_retryType;
339
340 OutP->retry_nameType = retry_nameType;
341
342 OutP->fileType = fileType;
343
344 if (MACH_MSG_TYPE_PORT_ANY(filePoly)(((filePoly) >= 16) && ((filePoly) <= 21)))
345 msgh_simple = FALSE((boolean_t) 0);
346
347 OutP->fileType.msgt_name = filePoly;
348
349 if (!msgh_simple)
350 OutP->Head.msgh_bits |= MACH_MSGH_BITS_COMPLEX0x80000000U;
351}
352
353/* Routine fsys_getfile */
354mig_internalstatic void _Xfsys_getfile
355 (mach_msg_header_t *InHeadP, mach_msg_header_t *OutHeadP)
356{
357 typedef struct {
358 mach_msg_header_t Head;
359 mach_msg_type_long_t gen_uidsType;
360 uid_t gen_uids[512];
361 mach_msg_type_long_t gen_gidsType;
362 uid_t gen_gids[512];
363 mach_msg_type_long_t filehandleType;
364 char filehandle[2048];
365 } Request;
366
367 typedef struct {
368 mach_msg_header_t Head;
369 mach_msg_type_t RetCodeType;
370 kern_return_t RetCode;
371 mach_msg_type_t fileType;
372 mach_port_t file;
373 } Reply;
374
375 Request *In0P = (Request *) InHeadP;
376 Request *In1P;
377 Request *In2P;
378 Reply *OutP = (Reply *) OutHeadP;
379 mig_external kern_return_t S_fsys_getfile
380 (fsys_t fsys, idarray_t gen_uids, mach_msg_type_number_t gen_uidsCnt, idarray_t gen_gids, mach_msg_type_number_t gen_gidsCnt, data_t filehandle, mach_msg_type_number_t filehandleCnt, mach_port_t *file, mach_msg_type_name_t *filePoly);
381
382 boolean_t msgh_simple;
383 unsigned int msgh_size;
384 unsigned int msgh_size_delta;
385
386 const mach_msg_type_t fileType = {
387 /* msgt_name = */ -1,
388 /* msgt_size = */ 32,
389 /* msgt_number = */ 1,
390 /* msgt_inline = */ TRUE((boolean_t) 1),
391 /* msgt_longform = */ FALSE((boolean_t) 0),
392 /* msgt_deallocate = */ FALSE((boolean_t) 0),
393 /* msgt_unused = */ 0
394 };
395
396 mach_msg_type_name_t filePoly;
397
398#if TypeCheck1
399 msgh_size = In0P->Head.msgh_size;
400 msgh_simple = !(In0P->Head.msgh_bits & MACH_MSGH_BITS_COMPLEX0x80000000U);
401 if ((msgh_size < 60))
402 { OutP->RetCode = MIG_BAD_ARGUMENTS-304; return; }
403#endif /* TypeCheck */
404
405#if TypeCheck1
406 if ((In0P->gen_uidsType.msgtl_header.msgt_longform != TRUE((boolean_t) 1)) ||
407 (In0P->gen_uidsType.msgtl_name != 2) ||
408 (In0P->gen_uidsType.msgtl_size != 32))
409 { OutP->RetCode = MIG_BAD_ARGUMENTS-304; return; }
410#endif /* TypeCheck */
411
412 msgh_size_delta = (In0P->gen_uidsType.msgtl_header.msgt_inline) ? 4 * In0P->gen_uidsType.msgtl_number : sizeof(uid_t *);
413#if TypeCheck1
414 if (msgh_size < 60 + msgh_size_delta)
415 { OutP->RetCode = MIG_BAD_ARGUMENTS-304; return; }
416 msgh_size -= msgh_size_delta;
417#endif /* TypeCheck */
418
419 In1P = (Request *) ((char *) In0P + msgh_size_delta - 2048);
420
421#if TypeCheck1
422 if ((In1P->gen_gidsType.msgtl_header.msgt_longform != TRUE((boolean_t) 1)) ||
423 (In1P->gen_gidsType.msgtl_name != 2) ||
424 (In1P->gen_gidsType.msgtl_size != 32))
425 { OutP->RetCode = MIG_BAD_ARGUMENTS-304; return; }
426#endif /* TypeCheck */
427
428 msgh_size_delta = (In1P->gen_gidsType.msgtl_header.msgt_inline) ? 4 * In1P->gen_gidsType.msgtl_number : sizeof(uid_t *);
429#if TypeCheck1
430 if (msgh_size < 60 + msgh_size_delta)
431 { OutP->RetCode = MIG_BAD_ARGUMENTS-304; return; }
432 msgh_size -= msgh_size_delta;
433#endif /* TypeCheck */
434
435 In2P = (Request *) ((char *) In1P + msgh_size_delta - 2048);
436
437#if TypeCheck1
438 if ((In2P->filehandleType.msgtl_header.msgt_longform != TRUE((boolean_t) 1)) ||
439 (In2P->filehandleType.msgtl_name != 8) ||
440 (In2P->filehandleType.msgtl_size != 8))
441 { OutP->RetCode = MIG_BAD_ARGUMENTS-304; return; }
442#endif /* TypeCheck */
443
444#if TypeCheck1
445 if (msgh_size != 60 + ((In2P->filehandleType.msgtl_header.msgt_inline) ? (In2P->filehandleType.msgtl_number + 3) & ~3 : sizeof(char *)))
446 { OutP->RetCode = MIG_BAD_ARGUMENTS-304; return; }
447#endif /* TypeCheck */
448
449 OutP->RetCode = S_fsys_getfile(In0P->Head.msgh_request_portmsgh_local_port, (In0P->gen_uidsType.msgtl_header.msgt_inline) ? In0P->gen_uids : *((uid_t **)In0P->gen_uids), In0P->gen_uidsType.msgtl_number, (In1P->gen_gidsType.msgtl_header.msgt_inline) ? In1P->gen_gids : *((uid_t **)In1P->gen_gids), In1P->gen_gidsType.msgtl_number, (In2P->filehandleType.msgtl_header.msgt_inline) ? In2P->filehandle : *((char **)In2P->filehandle), In2P->filehandleType.msgtl_number, &OutP->file, &filePoly);
450 if (OutP->RetCode == KERN_SUCCESS0)
451 if (!In2P->filehandleType.msgtl_header.msgt_inline)
452 __mig_deallocate(* (vm_offset_t *) In2P->filehandle, In2P->filehandleType.msgtl_number);
453 if (OutP->RetCode == KERN_SUCCESS0)
454 if (!In1P->gen_gidsType.msgtl_header.msgt_inline)
455 __mig_deallocate(* (vm_offset_t *) In1P->gen_gids, 4 * In1P->gen_gidsType.msgtl_number);
456 if (OutP->RetCode == KERN_SUCCESS0)
457 if (!In0P->gen_uidsType.msgtl_header.msgt_inline)
458 __mig_deallocate(* (vm_offset_t *) In0P->gen_uids, 4 * In0P->gen_uidsType.msgtl_number);
459 if (OutP->RetCode != KERN_SUCCESS0)
460 return;
461
462 msgh_simple = TRUE((boolean_t) 1);
463 OutP->Head.msgh_size = 40;
464
465 OutP->fileType = fileType;
466
467 if (MACH_MSG_TYPE_PORT_ANY(filePoly)(((filePoly) >= 16) && ((filePoly) <= 21)))
468 msgh_simple = FALSE((boolean_t) 0);
469
470 OutP->fileType.msgt_name = filePoly;
471
472 if (!msgh_simple)
473 OutP->Head.msgh_bits |= MACH_MSGH_BITS_COMPLEX0x80000000U;
474}
475
476/* Routine fsys_syncfs */
477mig_internalstatic void _Xfsys_syncfs
478 (mach_msg_header_t *InHeadP, mach_msg_header_t *OutHeadP)
479{
480 typedef struct {
481 mach_msg_header_t Head;
482 mach_msg_type_t waitType;
483 int wait;
484 mach_msg_type_t do_childrenType;
485 int do_children;
486 } Request;
487
488 typedef struct {
489 mach_msg_header_t Head;
490 mach_msg_type_t RetCodeType;
491 kern_return_t RetCode;
492 } Reply;
493
494 Request *In0P = (Request *) InHeadP;
495 Reply *OutP = (Reply *) OutHeadP;
496 mig_external kern_return_t S_fsys_syncfs
497 (fsys_t fsys, int wait, int do_children);
498
499 const mach_msg_type_t waitCheck = {
500 /* msgt_name = */ 2,
501 /* msgt_size = */ 32,
502 /* msgt_number = */ 1,
503 /* msgt_inline = */ TRUE((boolean_t) 1),
504 /* msgt_longform = */ FALSE((boolean_t) 0),
505 /* msgt_deallocate = */ FALSE((boolean_t) 0),
506 /* msgt_unused = */ 0
507 };
508
509 const mach_msg_type_t do_childrenCheck = {
510 /* msgt_name = */ 2,
511 /* msgt_size = */ 32,
512 /* msgt_number = */ 1,
513 /* msgt_inline = */ TRUE((boolean_t) 1),
514 /* msgt_longform = */ FALSE((boolean_t) 0),
515 /* msgt_deallocate = */ FALSE((boolean_t) 0),
516 /* msgt_unused = */ 0
517 };
518
519#if TypeCheck1
520 if ((In0P->Head.msgh_size != 40) ||
521 (In0P->Head.msgh_bits & MACH_MSGH_BITS_COMPLEX0x80000000U))
522 { OutP->RetCode = MIG_BAD_ARGUMENTS-304; return; }
523#endif /* TypeCheck */
524
525#if TypeCheck1
526 if (BAD_TYPECHECK(&In0P->waitType, &waitCheck)({ union { mach_msg_type_t t; unsigned32_t w; } _t, _c; _t.t =
*(&In0P->waitType); _c.t = *(&waitCheck); _t.w !=
_c.w; }))
527 { OutP->RetCode = MIG_BAD_ARGUMENTS-304; return; }
528#endif /* TypeCheck */
529
530#if TypeCheck1
531 if (BAD_TYPECHECK(&In0P->do_childrenType, &do_childrenCheck)({ union { mach_msg_type_t t; unsigned32_t w; } _t, _c; _t.t =
*(&In0P->do_childrenType); _c.t = *(&do_childrenCheck
); _t.w != _c.w; }))
532 { OutP->RetCode = MIG_BAD_ARGUMENTS-304; return; }
533#endif /* TypeCheck */
534
535 OutP->RetCode = S_fsys_syncfs(In0P->Head.msgh_request_portmsgh_local_port, In0P->wait, In0P->do_children);
536}
537
538/* Routine fsys_set_options */
539mig_internalstatic void _Xfsys_set_options
540 (mach_msg_header_t *InHeadP, mach_msg_header_t *OutHeadP)
541{
542 typedef struct {
543 mach_msg_header_t Head;
544 mach_msg_type_long_t optionsType;
545 char options[2048];
546 mach_msg_type_t do_childrenType;
547 int do_children;
548 } Request;
549
550 typedef struct {
551 mach_msg_header_t Head;
552 mach_msg_type_t RetCodeType;
553 kern_return_t RetCode;
554 } Reply;
555
556 Request *In0P = (Request *) InHeadP;
557 Request *In1P;
558 Reply *OutP = (Reply *) OutHeadP;
559 mig_external kern_return_t S_fsys_set_options
560 (fsys_t fsys, data_t options, mach_msg_type_number_t optionsCnt, int do_children);
561
562#if TypeCheck1
563 boolean_t msgh_simple;
564#endif /* TypeCheck */
565
566 unsigned int msgh_size;
567 unsigned int msgh_size_delta;
568
569 const mach_msg_type_t do_childrenCheck = {
570 /* msgt_name = */ 2,
571 /* msgt_size = */ 32,
572 /* msgt_number = */ 1,
573 /* msgt_inline = */ TRUE((boolean_t) 1),
574 /* msgt_longform = */ FALSE((boolean_t) 0),
575 /* msgt_deallocate = */ FALSE((boolean_t) 0),
576 /* msgt_unused = */ 0
577 };
578
579#if TypeCheck1
580 msgh_size = In0P->Head.msgh_size;
581 msgh_simple = !(In0P->Head.msgh_bits & MACH_MSGH_BITS_COMPLEX0x80000000U);
Value stored to 'msgh_simple' is never read
582 if ((msgh_size < 44))
583 { OutP->RetCode = MIG_BAD_ARGUMENTS-304; return; }
584#endif /* TypeCheck */
585
586#if TypeCheck1
587 if ((In0P->optionsType.msgtl_header.msgt_longform != TRUE((boolean_t) 1)) ||
588 (In0P->optionsType.msgtl_name != 8) ||
589 (In0P->optionsType.msgtl_size != 8))
590 { OutP->RetCode = MIG_BAD_ARGUMENTS-304; return; }
591#endif /* TypeCheck */
592
593 msgh_size_delta = (In0P->optionsType.msgtl_header.msgt_inline) ? (In0P->optionsType.msgtl_number + 3) & ~3 : sizeof(char *);
594#if TypeCheck1
595 if (msgh_size != 44 + msgh_size_delta)
596 { OutP->RetCode = MIG_BAD_ARGUMENTS-304; return; }
597#endif /* TypeCheck */
598
599 In1P = (Request *) ((char *) In0P + msgh_size_delta - 2048);
600
601#if TypeCheck1
602 if (BAD_TYPECHECK(&In1P->do_childrenType, &do_childrenCheck)({ union { mach_msg_type_t t; unsigned32_t w; } _t, _c; _t.t =
*(&In1P->do_childrenType); _c.t = *(&do_childrenCheck
); _t.w != _c.w; }))
603 { OutP->RetCode = MIG_BAD_ARGUMENTS-304; return; }
604#endif /* TypeCheck */
605
606 OutP->RetCode = S_fsys_set_options(In0P->Head.msgh_request_portmsgh_local_port, (In0P->optionsType.msgtl_header.msgt_inline) ? In0P->options : *((char **)In0P->options), In0P->optionsType.msgtl_number, In1P->do_children);
607 if (OutP->RetCode == KERN_SUCCESS0)
608 if (!In0P->optionsType.msgtl_header.msgt_inline)
609 __mig_deallocate(* (vm_offset_t *) In0P->options, In0P->optionsType.msgtl_number);
610}
611
612/* Routine fsys_getpriv */
613mig_internalstatic void _Xfsys_getpriv
614 (mach_msg_header_t *InHeadP, mach_msg_header_t *OutHeadP)
615{
616 typedef struct {
617 mach_msg_header_t Head;
618 } Request;
619
620 typedef struct {
621 mach_msg_header_t Head;
622 mach_msg_type_t RetCodeType;
623 kern_return_t RetCode;
624 mach_msg_type_t host_privType;
625 mach_port_t host_priv;
626 mach_msg_type_t device_masterType;
627 mach_port_t device_master;
628 mach_msg_type_t fstaskType;
629 mach_port_t fstask;
630 } Reply;
631
632 Request *In0P = (Request *) InHeadP;
633 Reply *OutP = (Reply *) OutHeadP;
634 mig_external kern_return_t S_fsys_getpriv
635 (fsys_t fsys, mach_port_t *host_priv, mach_msg_type_name_t *host_privPoly, mach_port_t *device_master, mach_msg_type_name_t *device_masterPoly, mach_port_t *fstask, mach_msg_type_name_t *fstaskPoly);
636
637 boolean_t msgh_simple;
638 const mach_msg_type_t host_privType = {
639 /* msgt_name = */ -1,
640 /* msgt_size = */ 32,
641 /* msgt_number = */ 1,
642 /* msgt_inline = */ TRUE((boolean_t) 1),
643 /* msgt_longform = */ FALSE((boolean_t) 0),
644 /* msgt_deallocate = */ FALSE((boolean_t) 0),
645 /* msgt_unused = */ 0
646 };
647
648 const mach_msg_type_t device_masterType = {
649 /* msgt_name = */ -1,
650 /* msgt_size = */ 32,
651 /* msgt_number = */ 1,
652 /* msgt_inline = */ TRUE((boolean_t) 1),
653 /* msgt_longform = */ FALSE((boolean_t) 0),
654 /* msgt_deallocate = */ FALSE((boolean_t) 0),
655 /* msgt_unused = */ 0
656 };
657
658 const mach_msg_type_t fstaskType = {
659 /* msgt_name = */ -1,
660 /* msgt_size = */ 32,
661 /* msgt_number = */ 1,
662 /* msgt_inline = */ TRUE((boolean_t) 1),
663 /* msgt_longform = */ FALSE((boolean_t) 0),
664 /* msgt_deallocate = */ FALSE((boolean_t) 0),
665 /* msgt_unused = */ 0
666 };
667
668 mach_msg_type_name_t host_privPoly;
669 mach_msg_type_name_t device_masterPoly;
670 mach_msg_type_name_t fstaskPoly;
671
672#if TypeCheck1
673 if ((In0P->Head.msgh_size != 24) ||
674 (In0P->Head.msgh_bits & MACH_MSGH_BITS_COMPLEX0x80000000U))
675 { OutP->RetCode = MIG_BAD_ARGUMENTS-304; return; }
676#endif /* TypeCheck */
677
678 OutP->RetCode = S_fsys_getpriv(In0P->Head.msgh_request_portmsgh_local_port, &OutP->host_priv, &host_privPoly, &OutP->device_master, &device_masterPoly, &OutP->fstask, &fstaskPoly);
679 if (OutP->RetCode != KERN_SUCCESS0)
680 return;
681
682 msgh_simple = TRUE((boolean_t) 1);
683 OutP->Head.msgh_size = 56;
684
685 OutP->host_privType = host_privType;
686
687 if (MACH_MSG_TYPE_PORT_ANY(host_privPoly)(((host_privPoly) >= 16) && ((host_privPoly) <=
21)))
688 msgh_simple = FALSE((boolean_t) 0);
689
690 OutP->host_privType.msgt_name = host_privPoly;
691
692 OutP->device_masterType = device_masterType;
693
694 if (MACH_MSG_TYPE_PORT_ANY(device_masterPoly)(((device_masterPoly) >= 16) && ((device_masterPoly
) <= 21)))
695 msgh_simple = FALSE((boolean_t) 0);
696
697 OutP->device_masterType.msgt_name = device_masterPoly;
698
699 OutP->fstaskType = fstaskType;
700
701 if (MACH_MSG_TYPE_PORT_ANY(fstaskPoly)(((fstaskPoly) >= 16) && ((fstaskPoly) <= 21)))
702 msgh_simple = FALSE((boolean_t) 0);
703
704 OutP->fstaskType.msgt_name = fstaskPoly;
705
706 if (!msgh_simple)
707 OutP->Head.msgh_bits |= MACH_MSGH_BITS_COMPLEX0x80000000U;
708}
709
710/* Routine fsys_init */
711mig_internalstatic void _Xfsys_init
712 (mach_msg_header_t *InHeadP, mach_msg_header_t *OutHeadP)
713{
714 typedef struct {
715 mach_msg_header_t Head;
716 mach_msg_type_t proc_serverType;
717 mach_port_t proc_server;
718 mach_msg_type_t auth_handleType;
719 auth_t auth_handle;
720 } Request;
721
722 typedef struct {
723 mach_msg_header_t Head;
724 mach_msg_type_t RetCodeType;
725 kern_return_t RetCode;
726 } Reply;
727
728 Request *In0P = (Request *) InHeadP;
729 Reply *OutP = (Reply *) OutHeadP;
730 mig_external kern_return_t S_fsys_init
731 (fsys_t fsys, mach_port_t reply_port, mach_msg_type_name_t reply_portPoly, mach_port_t proc_server, auth_t auth_handle);
732
733 const mach_msg_type_t proc_serverCheck = {
734 /* msgt_name = */ 17,
735 /* msgt_size = */ 32,
736 /* msgt_number = */ 1,
737 /* msgt_inline = */ TRUE((boolean_t) 1),
738 /* msgt_longform = */ FALSE((boolean_t) 0),
739 /* msgt_deallocate = */ FALSE((boolean_t) 0),
740 /* msgt_unused = */ 0
741 };
742
743 const mach_msg_type_t auth_handleCheck = {
744 /* msgt_name = */ 17,
745 /* msgt_size = */ 32,
746 /* msgt_number = */ 1,
747 /* msgt_inline = */ TRUE((boolean_t) 1),
748 /* msgt_longform = */ FALSE((boolean_t) 0),
749 /* msgt_deallocate = */ FALSE((boolean_t) 0),
750 /* msgt_unused = */ 0
751 };
752
753#if TypeCheck1
754 if ((In0P->Head.msgh_size != 40) ||
755 !(In0P->Head.msgh_bits & MACH_MSGH_BITS_COMPLEX0x80000000U))
756 { OutP->RetCode = MIG_BAD_ARGUMENTS-304; return; }
757#endif /* TypeCheck */
758
759#if TypeCheck1
760 if (BAD_TYPECHECK(&In0P->proc_serverType, &proc_serverCheck)({ union { mach_msg_type_t t; unsigned32_t w; } _t, _c; _t.t =
*(&In0P->proc_serverType); _c.t = *(&proc_serverCheck
); _t.w != _c.w; }))
761 { OutP->RetCode = MIG_BAD_ARGUMENTS-304; return; }
762#endif /* TypeCheck */
763
764#if TypeCheck1
765 if (BAD_TYPECHECK(&In0P->auth_handleType, &auth_handleCheck)({ union { mach_msg_type_t t; unsigned32_t w; } _t, _c; _t.t =
*(&In0P->auth_handleType); _c.t = *(&auth_handleCheck
); _t.w != _c.w; }))
766 { OutP->RetCode = MIG_BAD_ARGUMENTS-304; return; }
767#endif /* TypeCheck */
768
769 OutP->RetCode = S_fsys_init(In0P->Head.msgh_request_portmsgh_local_port, In0P->Head.msgh_reply_portmsgh_remote_port, MACH_MSGH_BITS_REPLY(In0P->Head.msgh_bits)((In0P->Head.msgh_bits) & 0x000000ff), In0P->proc_server, In0P->auth_handle);
770}
771
772/* Routine fsys_forward */
773mig_internalstatic void _Xfsys_forward
774 (mach_msg_header_t *InHeadP, mach_msg_header_t *OutHeadP)
775{
776 typedef struct {
777 mach_msg_header_t Head;
778 mach_msg_type_t requestorType;
779 mach_port_t requestor;
780 mach_msg_type_long_t argvType;
781 char argv[2048];
782 } Request;
783
784 typedef struct {
785 mach_msg_header_t Head;
786 mach_msg_type_t RetCodeType;
787 kern_return_t RetCode;
788 } Reply;
789
790 Request *In0P = (Request *) InHeadP;
791 Reply *OutP = (Reply *) OutHeadP;
792 mig_external kern_return_t S_fsys_forward
793 (mach_port_t server, mach_port_t requestor, data_t argv, mach_msg_type_number_t argvCnt);
794
795 unsigned int msgh_size;
796
797 const mach_msg_type_t requestorCheck = {
798 /* msgt_name = */ 17,
799 /* msgt_size = */ 32,
800 /* msgt_number = */ 1,
801 /* msgt_inline = */ TRUE((boolean_t) 1),
802 /* msgt_longform = */ FALSE((boolean_t) 0),
803 /* msgt_deallocate = */ FALSE((boolean_t) 0),
804 /* msgt_unused = */ 0
805 };
806
807#if TypeCheck1
808 msgh_size = In0P->Head.msgh_size;
809 if ((msgh_size < 44) ||
810 !(In0P->Head.msgh_bits & MACH_MSGH_BITS_COMPLEX0x80000000U))
811 { OutP->RetCode = MIG_BAD_ARGUMENTS-304; return; }
812#endif /* TypeCheck */
813
814#if TypeCheck1
815 if (BAD_TYPECHECK(&In0P->requestorType, &requestorCheck)({ union { mach_msg_type_t t; unsigned32_t w; } _t, _c; _t.t =
*(&In0P->requestorType); _c.t = *(&requestorCheck
); _t.w != _c.w; }))
816 { OutP->RetCode = MIG_BAD_ARGUMENTS-304; return; }
817#endif /* TypeCheck */
818
819#if TypeCheck1
820 if ((In0P->argvType.msgtl_header.msgt_longform != TRUE((boolean_t) 1)) ||
821 (In0P->argvType.msgtl_name != 8) ||
822 (In0P->argvType.msgtl_size != 8))
823 { OutP->RetCode = MIG_BAD_ARGUMENTS-304; return; }
824#endif /* TypeCheck */
825
826#if TypeCheck1
827 if (msgh_size != 44 + ((In0P->argvType.msgtl_header.msgt_inline) ? (In0P->argvType.msgtl_number + 3) & ~3 : sizeof(char *)))
828 { OutP->RetCode = MIG_BAD_ARGUMENTS-304; return; }
829#endif /* TypeCheck */
830
831 OutP->RetCode = S_fsys_forward(In0P->Head.msgh_request_portmsgh_local_port, In0P->requestor, (In0P->argvType.msgtl_header.msgt_inline) ? In0P->argv : *((char **)In0P->argv), In0P->argvType.msgtl_number);
832 if (OutP->RetCode == KERN_SUCCESS0)
833 if (!In0P->argvType.msgtl_header.msgt_inline)
834 __mig_deallocate(* (vm_offset_t *) In0P->argv, In0P->argvType.msgtl_number);
835}
836
837/* Routine fsys_get_options */
838mig_internalstatic void _Xfsys_get_options
839 (mach_msg_header_t *InHeadP, mach_msg_header_t *OutHeadP)
840{
841 typedef struct {
842 mach_msg_header_t Head;
843 } Request;
844
845 typedef struct {
846 mach_msg_header_t Head;
847 mach_msg_type_t RetCodeType;
848 kern_return_t RetCode;
849 mach_msg_type_long_t optionsType;
850 char options[2048];
851 } Reply;
852
853 Request *In0P = (Request *) InHeadP;
854 Reply *OutP = (Reply *) OutHeadP;
855 mig_external kern_return_t S_fsys_get_options
856 (fsys_t server, data_t *options, mach_msg_type_number_t *optionsCnt);
857
858 boolean_t msgh_simple;
859 const mach_msg_type_long_t optionsType = {
860 {
861 /* msgt_name = */ 0,
862 /* msgt_size = */ 0,
863 /* msgt_number = */ 0,
864 /* msgt_inline = */ TRUE((boolean_t) 1),
865 /* msgt_longform = */ TRUE((boolean_t) 1),
866 /* msgt_deallocate = */ FALSE((boolean_t) 0),
867 /* msgt_unused = */ 0
868 },
869 /* msgtl_name = */ 8,
870 /* msgtl_size = */ 8,
871 /* msgtl_number = */ 2048,
872 };
873
874 mach_msg_type_number_t optionsCnt;
875
876 char *optionsP;
877
878#if TypeCheck1
879 if ((In0P->Head.msgh_size != 24) ||
880 (In0P->Head.msgh_bits & MACH_MSGH_BITS_COMPLEX0x80000000U))
881 { OutP->RetCode = MIG_BAD_ARGUMENTS-304; return; }
882#endif /* TypeCheck */
883
884 optionsP = OutP->options;
885 optionsCnt = 2048;
886
887 OutP->RetCode = S_fsys_get_options(In0P->Head.msgh_request_portmsgh_local_port, &optionsP, &optionsCnt);
888 if (OutP->RetCode != KERN_SUCCESS0)
889 return;
890
891 msgh_simple = TRUE((boolean_t) 1);
892
893 OutP->optionsType = optionsType;
894 if (optionsP != OutP->options) {
895 OutP->optionsType.msgtl_header.msgt_inline = FALSE((boolean_t) 0);
896 OutP->optionsType.msgtl_header.msgt_deallocate = TRUE((boolean_t) 1);
897 *((char **)OutP->options) = optionsP;
898 msgh_simple = FALSE((boolean_t) 0);
899 }
900
901 OutP->optionsType.msgtl_number = optionsCnt;
902 OutP->Head.msgh_size = 44 + ((OutP->optionsType.msgtl_header.msgt_inline) ? (optionsCnt + 3) & ~3 : sizeof(char *));
903
904 if (!msgh_simple)
905 OutP->Head.msgh_bits |= MACH_MSGH_BITS_COMPLEX0x80000000U;
906}
907
908mig_routine_t fsys_server_routines[] = {
909 _Xfsys_startup,
910 _Xfsys_goaway,
911 _Xfsys_getroot,
912 _Xfsys_getfile,
913 _Xfsys_syncfs,
914 _Xfsys_set_options,
915 _Xfsys_getpriv,
916 _Xfsys_init,
917 _Xfsys_forward,
918 _Xfsys_get_options,
919 0,
920 0,
921};
922
923mig_external boolean_t fsys_server
924 (mach_msg_header_t *InHeadP, mach_msg_header_t *OutHeadP)
925{
926 mach_msg_header_t *InP = InHeadP;
927 mig_reply_header_t *OutP = (mig_reply_header_t *) OutHeadP;
928
929 const mach_msg_type_t RetCodeType = {
930 /* msgt_name = */ MACH_MSG_TYPE_INTEGER_322,
931 /* msgt_size = */ 32,
932 /* msgt_number = */ 1,
933 /* msgt_inline = */ TRUE((boolean_t) 1),
934 /* msgt_longform = */ FALSE((boolean_t) 0),
935 /* msgt_deallocate = */ FALSE((boolean_t) 0),
936 /* msgt_unused = */ 0
937 };
938
939 mig_routine_t routine;
940
941 OutP->Head.msgh_bits = MACH_MSGH_BITS(MACH_MSGH_BITS_REPLY(InP->msgh_bits), 0)((((InP->msgh_bits) & 0x000000ff)) | ((0) << 8));
942 OutP->Head.msgh_size = sizeof *OutP;
943 OutP->Head.msgh_remote_port = InP->msgh_reply_portmsgh_remote_port;
944 OutP->Head.msgh_local_port = MACH_PORT_NULL((mach_port_t) 0);
945 OutP->Head.msgh_seqno = 0;
946 OutP->Head.msgh_id = InP->msgh_id + 100;
947
948 OutP->RetCodeType = RetCodeType;
949
950 if ((InP->msgh_id > 22011) || (InP->msgh_id < 22000) ||
951 ((routine = fsys_server_routines[InP->msgh_id - 22000]) == 0)) {
952 OutP->RetCode = MIG_BAD_ID-303;
953 return FALSE((boolean_t) 0);
954 }
955 (*routine) (InP, &OutP->Head);
956 return TRUE((boolean_t) 1);
957}
958
959mig_external mig_routine_t fsys_server_routine
960 (const mach_msg_header_t *InHeadP)
961{
962 int msgh_id;
963
964 msgh_id = InHeadP->msgh_id - 22000;
965
966 if ((msgh_id > 11) || (msgh_id < 0))
967 return 0;
968
969 return fsys_server_routines[msgh_id];
970}
971