Re: [PATCH] include: fix the definition of device_open

[Justus Winter]

Quoting Samuel Thibault (2014-04-11 22:27:09)
> Justus Winter, le Fri 11 Apr 2014 09:32:30 +0200, a écrit :
> > Previously, every userspace server implementing the device protocol
> > filtered the device definitions to replace the device_t type with
> > mach_port_send_t to make the device argument of device_open
> > polymorphic.  Rather than doing that, which makes it impossible to use
> > translation functions, fix the definition of device_open.
> 
> I don't know enough of MIG to be sure of the details: can this break
> applications which would not be doing the sed part?

Yes.  However, I found every server implementing the device protocol
doing it and most actually making good use of the extra
mach_msg_type_name_t argument.

Justus