1 files changed, 1 insertions, 0 deletions
diff --git a/acpi/main.c b/acpi/main.c
index 18f0afc5..a62c0700 100644
--- a/acpi/main.c
+++ b/acpi/main.c
@@ -96,6 +96,7 @@ acpi_device_open (mach_port_t reply_port, mach_msg_type_name_t reply_port_type,
       if (dev_master == MACH_PORT_NULL)
         return D_NO_SUCH_DEVICE;
       err = device_open (dev_master, mode, name, devp);
+      mach_port_deallocate (mach_task_self (), dev_master);
       if (err)
         return err;
       *devicePoly = MACH_MSG_TYPE_MOVE_SEND;