diff options
| author | Zheng Da <zhengda1936@gmail.com> | 2010-05-07 01:15:03 +0000 |
|---|---|---|
| committer | Zheng Da <zhengda1936@gmail.com> | 2010-05-07 01:15:03 +0000 |
| commit | a3ceae18db61ff5dd7d86a79d794f992d58604f4 (patch) | |
| tree | f5f88fe12398e81aadabd335ccc339434e8aa73e /libddekit/interrupt.c | |
| parent | 8dd7d307017db66d1918758db11bce3b0833d96c (diff) | |
fix a bug when device_intr_notify return an error.
Diffstat (limited to 'libddekit/interrupt.c')
| -rw-r--r-- | libddekit/interrupt.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/libddekit/interrupt.c b/libddekit/interrupt.c index 540be846..8cf4bee1 100644 --- a/libddekit/interrupt.c +++ b/libddekit/interrupt.c @@ -98,11 +98,14 @@ static void intloop(void *arg) ret = device_intr_notify (master_device, params->irq, 0, 0x04000000, delivery_port, MACH_MSG_TYPE_MAKE_SEND); - if (!ret) { + ddekit_printf ("device_intr_notify returns %d\n", ret); + if (ret) { /* inform thread creator of error */ /* XXX does omega0 error code have any meaning to DDEKit users? */ params->start_err = ret; ddekit_sem_up(params->started); + ddekit_printf ("cannot install irq %d\n", params->irq); + return; } device_irq_enable (master_device, params->irq, TRUE); |