diff options
author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2019-11-12 11:55:29 +0100 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2019-11-12 11:55:29 +0100 |
commit | 8c3f56613c82c3ddd17ab8621a52b30e2c68c810 (patch) | |
tree | d54ca003866381e6d93daf96b64d4e08b085cd4f | |
parent | 16905bcc1bdc71c8a6e774899cbbcc9bf7160dd9 (diff) | |
parent | 19687f6a94157e866d473ea6dffaadfacec95f55 (diff) |
Merge branch 'master-user_level_drivers' into master-user_level_drivers-debian
-rw-r--r-- | device/intr.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/device/intr.c b/device/intr.c index 864a9cfb..9fdf1b30 100644 --- a/device/intr.c +++ b/device/intr.c @@ -232,11 +232,14 @@ intr_thread (void) { assert (!queue_empty (&intr_queue)); queue_remove (&intr_queue, e, struct intr_entry *, chain); + if (e->unacked_interrupts) + printf("irq handler %d: still %d unacked irqs\n", e->line, e->unacked_interrupts); while (e->unacked_interrupts) { __enable_irq(e->line); e->unacked_interrupts--; } + printf("irq handler %d: removed\n"); sti (); kfree ((vm_offset_t) e, sizeof (*e)); cli (); |