The same situation as my previous patch, just a different function. I
should have corrected this two compiler warnings with one patch, but I
did not notice the second function.
--- ./gnumach/kern/ipc_mig.c 2013-06-04 22:13:41.916218572 +0200
+++ ./gnumach1/kern/ipc_mig.c 2013-06-05 07:39:05.662711231 +0200
@@ -979,7 +979,7 @@
vm_size_t iocount)
{
device_t dev;
- ipc_port_t reply_port;
+ /*ipc_port_t reply_port;*/
io_return_t res;
/*
@@ -1000,9 +1000,10 @@
/*
* 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;
