71,6 → 71,7 |
#include <ipc/ipc.h> |
#include <typedefs.h> |
#include <arch/types.h> |
#include <adt/list.h> |
|
/** IPC notification config structure. |
* |
83,6 → 84,9 |
unative_t method; /**< Method to be used for the notification. */ |
irq_code_t *code; /**< Top-half pseudocode. */ |
count_t counter; /**< Counter. */ |
link_t link; /**< Link between IRQs that are notifying the |
same answerbox. The list is protected by |
the answerbox irq_lock. */ |
}; |
|
extern int ipc_irq_register(answerbox_t *box, inr_t inr, devno_t devno, unative_t method, |