diff options
Diffstat (limited to 'device/dev_lookup.c')
| -rw-r--r-- | device/dev_lookup.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/device/dev_lookup.c b/device/dev_lookup.c index bebdf6f3..994452cd 100644 --- a/device/dev_lookup.c +++ b/device/dev_lookup.c @@ -295,8 +295,7 @@ dev_port_lookup(ipc_port_t port) * Consumes a device reference; produces a naked send right. */ ipc_port_t -convert_device_to_port(device) - const device_t device; +convert_device_to_port(const device_t device) { if (device == DEVICE_NULL) return IP_NULL; |