From ca348859ebe65ed14011de7880a5c1bf91163891 Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Sun, 13 Apr 2014 12:54:40 +0200
Subject: refresh libmachdev.patch

---
 debian/patches/libmachdev.patch | 22 ----------------------
 1 file changed, 22 deletions(-)

diff --git a/debian/patches/libmachdev.patch b/debian/patches/libmachdev.patch
index 6a68baab..ed703497 100644
--- a/debian/patches/libmachdev.patch
+++ b/debian/patches/libmachdev.patch
@@ -11,25 +11,3 @@ index 606765f..766d9b4 100644
  	    {
  	      /* TODO: remove from filter */
  	    }
-@@ -377,7 +377,7 @@ device_open (mach_port_t reply_port, mach_msg_type_name_t reply_port_type,
-     }
- 
-   *devp = ports_get_right (nd);
--  *devicePoly = MACH_MSG_TYPE_COPY_SEND;
-+  *devicePoly = MACH_MSG_TYPE_MAKE_SEND;
-   return D_SUCCESS;
- }
- 
-diff --git a/libmachdev/ds_routines.c b/libmachdev/ds_routines.c
-index 6b8d1d4..f0c034f 100644
---- a/libmachdev/ds_routines.c
-+++ b/libmachdev/ds_routines.c
-@@ -206,7 +206,7 @@ ds_device_close (device_t dev)
-   ret = (device->dev.emul_ops->close
- 	 ? (*device->dev.emul_ops->close) (device->dev.emul_data)
- 	 : D_SUCCESS);
--  mach_device_deallocate (device);
-+  //mach_device_deallocate (device);
-   return ret;
- }
- 
-- 
cgit v1.2.3