From 88be9e7481f167d139b4f3c981368b6071c61384 Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Wed, 27 Nov 2013 10:27:29 +0100
Subject: libshouldbeinlibc: fix minor port leak in maptime_map

Deallocate the device port after creating the mapping. The mapping is
independent of the device port.

* libshouldbeinlibc/maptime.c (maptime_map): Deallocate device port.
---
 libshouldbeinlibc/maptime.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/libshouldbeinlibc/maptime.c b/libshouldbeinlibc/maptime.c
index ca35c6cf..f0b69db4 100644
--- a/libshouldbeinlibc/maptime.c
+++ b/libshouldbeinlibc/maptime.c
@@ -51,6 +51,10 @@ maptime_map (int use_mach_dev, char *dev_name,
 	return err;
 
       err = device_map (device, VM_PROT_READ, 0, sizeof *mtime, &memobj, 0);
+
+      /* Deallocate the device port.  The mapping is independent of
+	 this port.  */
+      mach_port_deallocate (mach_task_self (), device);
     }
   else
     {
-- 
cgit v1.2.3