diff options
Diffstat (limited to 'device/intr.c')
| -rw-r--r-- | device/intr.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/device/intr.c b/device/intr.c index 27dfa8ec..9529492b 100644 --- a/device/intr.c +++ b/device/intr.c @@ -159,7 +159,7 @@ insert_intr_entry (struct irqdev *dev, int id, ipc_port_t dst_port) ret = NULL; goto out; } - printf("irq handler [%d]: new delivery port %p entry %p\n", id, dst_port, new); + printf("irq handler [%d]: new delivery port %p entry %p for %s\n", id, dst_port, new, current_task()->name); ret = new; new->id = id; new->dst_port = dst_port; |