summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael I. Bushnell <mib@gnu.org>1995-10-19 02:45:07 +0000
committerMichael I. Bushnell <mib@gnu.org>1995-10-19 02:45:07 +0000
commit386bd4c40acb3d1c94d5cb73fbf92d26a7318592 (patch)
treee721f921e3d2453acf49ddcb02dcca50128212b7
parentf7a43a40f9f1e634d1213dd3c5aa2d054197614a (diff)
entered into RCS
-rw-r--r--pfinet/devices.c7
1 files changed, 2 insertions, 5 deletions
diff --git a/pfinet/devices.c b/pfinet/devices.c
index 6d066e8e..371bbdee 100644
--- a/pfinet/devices.c
+++ b/pfinet/devices.c
@@ -30,18 +30,15 @@ device_t master_device;
void
init_devices (void)
{
- mach_port_t priv_host;
error_t err;
-
- err = get_privileged_ports (&priv_host, &master_device);
+
+ err = get_privileged_ports (0, &master_device);
if (err)
{
perror ("Cannot fetch master device port");
exit (1);
}
- mach_port_deallocate (mach_task_self (), priv_host);
-
dev_base = 0;
}