Hi, Richard Braun <rbr...@sceen.net> skribis:
> In the hurd/io.defs file, which defines the Hurd I/O interface, the > io_select call includes a timeout. However, none of the libraries and > servers implementing this call receive it. What makes this argument > "disappear" during stub code generation ? It is a “waittime” parameter, which gets special treatment from MIG. This is somewhat documented in <http://www.cs.cmu.edu/afs/cs/project/mach/public/doc/unpublished/mig.ps>. Thanks, Ludo’.