From a9a4f69ad7bd02209fdce02b28c701c23fe48a15 Mon Sep 17 00:00:00 2001 From: Samuel Thibault Date: Wed, 29 Jan 2014 00:08:48 +0100 Subject: pfinet: really deallocate device port * pfinet/ethernet.c (ethernet_close): Call mach_port_deallocate on device port. --- pfinet/ethernet.c | 1 + 1 file changed, 1 insertion(+) (limited to 'pfinet/ethernet.c') diff --git a/pfinet/ethernet.c b/pfinet/ethernet.c index 3b0d27b5..053fd1be 100644 --- a/pfinet/ethernet.c +++ b/pfinet/ethernet.c @@ -243,6 +243,7 @@ ethernet_close (struct device *dev) ports_destroy_right (edev->readpt); edev->readpt = NULL; device_close (edev->ether_port); + mach_port_deallocate (mach_task_self (), edev->ether_port); edev->ether_port = MACH_PORT_NULL; } -- cgit v1.2.3