summaryrefslogtreecommitdiff
path: root/pfinet/ethernet.c
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2014-01-29 00:08:48 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2014-01-29 00:08:48 +0100
commita9a4f69ad7bd02209fdce02b28c701c23fe48a15 (patch)
treed6fc989a9b329e4d2688abd9eb5f071fc0e1944f /pfinet/ethernet.c
parentd473f407e3b168490032905e60effa3cdbbc063e (diff)
pfinet: really deallocate device port
* pfinet/ethernet.c (ethernet_close): Call mach_port_deallocate on device port.
Diffstat (limited to 'pfinet/ethernet.c')
-rw-r--r--pfinet/ethernet.c1
1 files changed, 1 insertions, 0 deletions
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;
}