Re: oskit-mach: device_write

[Roland McGrath]

> In order to trigger the bug again, I setted data_count to 4. bytes_written
> return the value 18677512. But bytes_written does not match to size which
> the driver returns:

That is pretty strange.  There are two things here that are not right.
That value from ops->write_inband (61) is bogus for that call.  But,
whatever is in *bytes_written at that point definitely ought to make it
back to the user.  To debug the latter case, please do "finish" from that
frame and step through the mig stub to see the value being packed up.

You are talking about when ops->write_inband is ds_net_write_inband, right?
I don't see how that could return anything other than exactly count in
*&ytes_written, unless there is bad stack clobberation.  To debug that
problem, please step into ops->write_inband and see what is going on.  It's
a mystery to me at this point.