From 386bd4c40acb3d1c94d5cb73fbf92d26a7318592 Mon Sep 17 00:00:00 2001 From: "Michael I. Bushnell" Date: Thu, 19 Oct 1995 02:45:07 +0000 Subject: entered into RCS --- pfinet/devices.c | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) (limited to 'pfinet') 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; } -- cgit v1.2.3