gnumach/kern/ipc_mig.c (syscall_device_write_request): rewrite translation of reply port

[Marin Ramesa]

Here's my first patch for Mach; I hope it will get reviewed. There was 
a variable reply_port that was set in the if statement, but not used as 
an argument of ds_device_write_trap. I commented out the declaration 
(as there is indication in the comments that in the future it might be 
used in the call of ds_device_write_trap) and rewrote the if statement.

ipc_mig.patch
Description: Text Data