From 5b14fbc2aeedc2501b032d8ea6b4b68eafaf321b Mon Sep 17 00:00:00 2001 From: Zheng Da Date: Sat, 27 Feb 2010 14:19:29 +0100 Subject: Add `flags` for interrupt registration. --- libddekit/interrupt.c | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'libddekit') diff --git a/libddekit/interrupt.c b/libddekit/interrupt.c index 8590a85c..09117732 100644 --- a/libddekit/interrupt.c +++ b/libddekit/interrupt.c @@ -92,10 +92,11 @@ static void intloop(void *arg) if (ret) error (0, ret, "thread_priority"); - // TODO I should give another parameter to show whether - // the interrupt can be shared. + // TODO the flags for shared irq should be indicated by params->shared. + // Be careful. For now, we must use shared irq. + // Otherwise, the interrupt handler cannot be installed in the kernel. ret = device_intr_notify (master_device, params->irq, - 0, delivery_port, + 0, 0x04000000, delivery_port, MACH_MSG_TYPE_MAKE_SEND); if (!ret) { /* inform thread creator of error */ -- cgit v1.2.3