Re: oskit-mach: device_write

[Roland McGrath]

> Just one thing: The last argument should return the number of written 
> bytes. When an error has occured, the return values does not match the
> bytes_written variable in ds_device_write. 

Sorry, I am not following you at all.  Please be more specific (show a patch).
It sounds like you are talking about the last argument to
ds_device_write_error_reply, but that is an error code--not a count.
If any bytes were written at all, the RPC returns success.
The count is returned in *BYTES_WRITTEN, which mig uses in the reply message.

> I've called device_write with packet size 4, bytes_written was 61 and
> the return value was 18677512. Obvious, the semantic is right (packet size
> != written bytes), but I'm not sure if this is ok. 

I don't understand this at all.