diff options
| author | Zheng Da <zhengda1936@gmail.com> | 2010-02-27 14:47:02 +0100 |
|---|---|---|
| committer | Zheng Da <zhengda1936@gmail.com> | 2010-02-27 14:47:02 +0100 |
| commit | 44f34a7ad2d0c21621d5b9f8004af0dc0dcadffe (patch) | |
| tree | 0032c1d3b7e0fc14f851f4d2ca3e01a859151ef3 | |
| parent | 9c9e0b826cc986dea7a6f1d6cc331c37ed9b469d (diff) | |
IRQ server doesn't have reply messages.
| -rw-r--r-- | libddekit/interrupt.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/libddekit/interrupt.c b/libddekit/interrupt.c index 09117732..540be846 100644 --- a/libddekit/interrupt.c +++ b/libddekit/interrupt.c @@ -126,6 +126,7 @@ static void intloop(void *arg) int irq_server (mach_msg_header_t *inp, mach_msg_header_t *outp) { mach_irq_notification_t *irq_header = (mach_irq_notification_t *) inp; + ((mig_reply_header_t *) outp)->RetCode = MIG_NO_REPLY; if (inp->msgh_id != MACH_NOTIFY_IRQ) return 0; @@ -148,8 +149,6 @@ static void intloop(void *arg) ddekit_printf ("not handling IRQ %x, because it is disabled.", my_index); - // ((mig_reply_header_t *) outp)->RetCode = MIG_NO_REPLY; - if (ddekit_irq_ctrl[my_index].thread_exit) { ddekit_lock_unlock (&ddekit_irq_ctrl[my_index].irqlock); ddekit_thread_exit(); |