diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2014-01-29 00:08:48 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2014-01-29 00:08:48 +0100 |
| commit | a9a4f69ad7bd02209fdce02b28c701c23fe48a15 (patch) | |
| tree | d6fc989a9b329e4d2688abd9eb5f071fc0e1944f /pfinet | |
| parent | d473f407e3b168490032905e60effa3cdbbc063e (diff) | |
pfinet: really deallocate device port
* pfinet/ethernet.c (ethernet_close): Call mach_port_deallocate on
device port.
Diffstat (limited to 'pfinet')
| -rw-r--r-- | pfinet/ethernet.c | 1 |
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; } |