diff options
| -rw-r--r-- | console/display.c | 4 | ||||
| -rw-r--r-- | eth-multiplexer/device_impl.c | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/console/display.c b/console/display.c index c59e74f0..cff99be3 100644 --- a/console/display.c +++ b/console/display.c @@ -513,7 +513,7 @@ display_notice_changes (display_t display, mach_port_t notify) return errno; } - notify_port = ports_get_right (display->notify_port); + notify_port = display->notify_port->pi.port_right; /* Request dead-name notification for the user's port. */ err = mach_port_request_notification (mach_task_self (), notify, @@ -543,7 +543,7 @@ display_notice_filechange (display_t display) error_t err; struct modreq *req = display->filemod_reqs_pending; struct modreq **preq = &display->filemod_reqs; - mach_port_t notify_port = ports_get_right (display->notify_port); + mach_port_t notify_port = display->notify_port->pi.port_right; while (req) { diff --git a/eth-multiplexer/device_impl.c b/eth-multiplexer/device_impl.c index a6e6f59c..74f78f22 100644 --- a/eth-multiplexer/device_impl.c +++ b/eth-multiplexer/device_impl.c @@ -189,7 +189,7 @@ ds_device_set_filter (struct vether_device *vdev, mach_port_t receive_port, return D_NO_SUCH_DEVICE; err = mach_port_request_notification (mach_task_self (), receive_port, MACH_NOTIFY_DEAD_NAME, 0, - ports_get_right (notify_pi), + notify_pi->port_right, MACH_MSG_TYPE_MAKE_SEND_ONCE, &tmp); if (err != KERN_SUCCESS) goto out; |