5 #include <machine/interrupt.h>
6 #include <machine/multiboot.h>
8 /* Process table and system property related types. */
9 typedef int proc_nr_t
; /* process table entry number */
10 typedef short sys_id_t
; /* system process index */
11 typedef struct { /* bitmap for system indexes */
12 bitchunk_t chunk
[BITMAP_CHUNKS(NR_SYS_PROCS
)];
15 typedef unsigned long irq_policy_t
;
16 typedef unsigned long irq_id_t
;
18 typedef struct irq_hook
{
19 struct irq_hook
*next
; /* next hook in chain */
20 int (*handler
)(struct irq_hook
*); /* interrupt handler */
21 int irq
; /* IRQ vector number */
22 int id
; /* id of this hook */
23 endpoint_t proc_nr_e
; /* (endpoint) NONE if not in use */
24 irq_id_t notify_id
; /* id to return on interrupt */
25 irq_policy_t policy
; /* bit mask for policy */
28 typedef int (*irq_handler_t
)(struct irq_hook
*);