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. |