6 typedef _PROTOTYPE( void task_t
, (void) );
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
)];
16 proc_nr_t proc_nr
; /* process number to use */
17 task_t
*initial_pc
; /* start function for tasks */
18 int flags
; /* process flags */
19 unsigned char quantum
; /* quantum (tick count) */
20 int priority
; /* scheduling priority */
21 int stksize
; /* stack size for tasks */
22 short trap_mask
; /* allowed system call traps */
23 bitchunk_t ipc_to
; /* send mask protection */
24 int *k_calls
; /* kern. call protection */
26 char proc_name
[P_NAME_LEN
]; /* name in process table */
27 endpoint_t endpoint
; /* endpoint number when started */
30 /* The kernel outputs diagnostic messages in a circular buffer. */
32 int km_next
; /* next index to write */
33 int km_size
; /* current size in buffer */
34 char km_buf
[KMESS_BUF_SIZE
]; /* buffer for messages */
39 int r_next
; /* next index to write */
40 int r_size
; /* number of random elements */
41 unsigned short r_buf
[RANDOM_ELEMENTS
]; /* buffer for random info */
42 } bin
[RANDOM_SOURCES
];
45 typedef unsigned long irq_policy_t
;
46 typedef unsigned long irq_id_t
;
48 typedef struct irq_hook
{
49 struct irq_hook
*next
; /* next hook in chain */
50 int (*handler
)(struct irq_hook
*); /* interrupt handler */
51 int irq
; /* IRQ vector number */
52 int id
; /* id of this hook */
53 int proc_nr_e
; /* (endpoint) NONE if not in use */
54 irq_id_t notify_id
; /* id to return on interrupt */
55 irq_policy_t policy
; /* bit mask for policy */
58 typedef int (*irq_handler_t
)(struct irq_hook
*);