diff options
| -rw-r--r-- | libddekit/interrupt.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libddekit/interrupt.c b/libddekit/interrupt.c index 94228d81..fb1f6163 100644 --- a/libddekit/interrupt.c +++ b/libddekit/interrupt.c @@ -129,7 +129,7 @@ static void intloop(void *arg) ddekit_sem_up(params->started); int irq_server (mach_msg_header_t *inp, mach_msg_header_t *outp) { - mach_intr_notification_t *intr_header = (mach_irq_notification_t *) inp; + mach_intr_notification_t *intr_header = (mach_intr_notification_t *) inp; ((mig_reply_header_t *) outp)->RetCode = MIG_NO_REPLY; if (inp->msgh_id != MACH_INTR_NOTIFY) |