diff options
| -rw-r--r-- | pfinet/devices.c | 7 |
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; } |