diff options
| -rw-r--r-- | libddekit/interrupt.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/libddekit/interrupt.c b/libddekit/interrupt.c index 2618e50b..acace565 100644 --- a/libddekit/interrupt.c +++ b/libddekit/interrupt.c @@ -145,7 +145,11 @@ static void intloop(void *arg) params->handler(params->priv); /* If the irq has been disabled by the linux device, * we don't need to reenable the real one. */ - device_intr_enable (master_device, my_index, TRUE); + if (MACH_PORT_VALID (intr_header->intr_header.msgh_remote_port)) + mach_port_deallocate (mach_task_self (), + intr_header->intr_header.msgh_remote_port); + else + device_intr_enable (master_device, my_index, TRUE); if (ddekit_irq_ctrl[my_index].thread_exit) { ddekit_lock_unlock (&ddekit_irq_ctrl[my_index].irqlock); |