From 44f34a7ad2d0c21621d5b9f8004af0dc0dcadffe Mon Sep 17 00:00:00 2001 From: Zheng Da Date: Sat, 27 Feb 2010 14:47:02 +0100 Subject: IRQ server doesn't have reply messages. --- libddekit/interrupt.c | 3 +-- 1 file changed, 1 insertion(+), 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(); -- cgit v1.2.3