diff options
Diffstat (limited to 'src/irq.c')
| -rw-r--r-- | src/irq.c | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -70,8 +70,8 @@ void handle_irq() struct tcb *t = get_tcb(tid); if (!t || orphan(t)) { info("tcb %llu dead at irq %llu\n", - (unsigned long long)tid, - (unsigned long long)id); + (unsigned long long)tid, + (unsigned long long)id); /* unregister irq handler */ irq_map[id] = 0; |
