5 #include <machine/interrupt.h>
7 /* Process table and system property related types. */
8 typedef int proc_nr_t
; /* process table entry number */
9 typedef short sys_id_t
; /* system process index */
10 typedef struct { /* bitmap for system indexes */
11 bitchunk_t chunk
[BITMAP_CHUNKS(NR_SYS_PROCS
)];
15 proc_nr_t proc_nr
; /* process number to use */
16 int flags
; /* process flags */
17 unsigned quantum
; /* time quantum in ms */
18 int priority
; /* scheduling priority */
19 int stksize
; /* stack size for tasks */
20 char proc_name
[P_NAME_LEN
]; /* name in process table */
21 endpoint_t endpoint
; /* endpoint number when started */
24 typedef unsigned long irq_policy_t
;
25 typedef unsigned long irq_id_t
;
27 typedef struct irq_hook
{
28 struct irq_hook
*next
; /* next hook in chain */
29 int (*handler
)(struct irq_hook
*); /* interrupt handler */
30 int irq
; /* IRQ vector number */
31 int id
; /* id of this hook */
32 endpoint_t proc_nr_e
; /* (endpoint) NONE if not in use */
33 irq_id_t notify_id
; /* id to return on interrupt */
34 irq_policy_t policy
; /* bit mask for policy */
37 typedef int (*irq_handler_t
)(struct irq_hook
*);