include: fix the definition of device_open

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.

* include/device/device.defs (device_open): Redefine the device
argument to make it polymorphic unless a outran function is specified.

0 files changed, 0 insertions, 0 deletions