diff options
author | Marin Ramesa <marin.ramesa@gmail.com> | 2013-06-04 20:00:21 +0200 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2013-06-04 20:00:21 +0200 |
commit | b99130d97a40c8337d152669add0fce6c65e7377 (patch) | |
tree | 8b05e90028f6c952e2c1315be35410ccf9c0c344 /kern | |
parent | 1a036087f57956b604e3f47e1b7c535391fe36f3 (diff) |
Comment unused variable
* kern/ipc_mig.c (syscall_device_write_request): Comment unused variable.
Diffstat (limited to 'kern')
-rw-r--r-- | kern/ipc_mig.c | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/kern/ipc_mig.c b/kern/ipc_mig.c index 3f55da7..e1532ac 100644 --- a/kern/ipc_mig.c +++ b/kern/ipc_mig.c @@ -928,7 +928,7 @@ syscall_device_write_request(mach_port_t device_name, vm_size_t data_count) { device_t dev; - ipc_port_t reply_port; + /*ipc_port_t reply_port;*/ io_return_t res; /* @@ -949,9 +949,10 @@ syscall_device_write_request(mach_port_t device_name, /* * Translate reply port. */ - if (reply_name == MACH_PORT_NULL) + /*if (reply_name == MACH_PORT_NULL) reply_port = IP_NULL; - else { + */ + if (reply_name != MACH_PORT_NULL) { /* Homey don't play that. */ device_deallocate(dev); return KERN_INVALID_RIGHT; |