| 71,7 → 71,9 |
|---|
| #include <arch/types.h> |
| #include <synch/spinlock.h> |
| #include <arch.h> |
| #include <synch/rcu.h> |
| |
| |
| #define KEY_INR 0 |
| #define KEY_DEVNO 1 |
| |
| 145,12 → 147,13 |
|---|
| irq->claim = NULL; |
| irq->handler = NULL; |
| irq->arg = NULL; |
| irq->notif_cfg.notify = false; |
| irq->notif_cfg.answerbox = NULL; |
| irq->notif_cfg.code = NULL; |
| irq->notif_cfg.method = 0; |
| irq->notif_cfg.counter = 0; |
| link_initialize(&irq->notif_cfg.link); |
| irq->notif_cfg = malloc(sizeof(ipc_notif_cfg_t), 0); |
| irq->notif_cfg->notify = false; |
| irq->notif_cfg->answerbox = NULL; |
| irq->notif_cfg->code = NULL; |
| irq->notif_cfg->method = 0; |
| irq->notif_cfg->counter = 0; |
| link_initialize(&irq->notif_cfg->link); |
| } |
| |
| /** Register IRQ for device. |