Re: oskit-mach: device_write

[Thomas Bushnell, BSG]

Daniel Wagner <wagi@gmx.ch> writes:

> Calling device_write with an invalid data_count, device_write will return 
> an error (D_INVALID_SIZE). I didn't checked the return value, instead
> I tested for the bytes_written and of course there's only a bogus 
> value.

This is a general rule for MiG interfaces; if you get an error, then
the OUT parameters aren't filled in at all, so they stay with what
they were before (which often is just whatever was last in some random
location on the stack).  

This is, of course, utterly intolerable, but it's what we get for
using C.

Thomas