20 |
|
|
21 |
#include <rtmk/kern-return.h> |
#include <rtmk/kern-return.h> |
22 |
#include <rtmk/vm-types.h> |
#include <rtmk/vm-types.h> |
23 |
|
#include <rtmk/ipc-types.h> |
24 |
|
#include <rtmk/ipc-return.h> |
25 |
|
|
26 |
#include "tm.h" |
#include "tm.h" |
27 |
#include "task.h" |
#include "task.h" |
29 |
#include "processor.h" |
#include "processor.h" |
30 |
#include "timer.h" |
#include "timer.h" |
31 |
|
|
32 |
|
#include "ipc-kmsg.h" |
33 |
|
|
34 |
/* ??? comment here. */ |
/* ??? comment here. */ |
35 |
|
|
36 |
struct thread |
struct thread |
59 |
struct timer timer_user; /* User timer. */ |
struct timer timer_user; /* User timer. */ |
60 |
struct timer timer_system; /* System timer. */ |
struct timer timer_system; /* System timer. */ |
61 |
|
|
62 |
|
/* IPC information: */ |
63 |
|
struct ipc_kmsg *ipc_kmsg; /* kernel message. */ |
64 |
|
rtmk_msg_size_t ipc_length; /* length. */ |
65 |
|
ipc_return_t ipc_result; /* result. */ |
66 |
|
|
67 |
/* Scheduling information: */ |
/* Scheduling information: */ |
68 |
int sched_priority; /* Priority. */ |
int sched_priority; /* Priority. */ |
69 |
int sched_credits; /* Credits. */ |
int sched_credits; /* Credits. */ |
152 |
|
|
153 |
extern void thread_wakeup_one (int event); |
extern void thread_wakeup_one (int event); |
154 |
|
|
155 |
|
/* Interrupt THREAD. Bring it back from waiting state. */ |
156 |
|
|
157 |
|
extern void thread_interrupt (struct thread *thread); |
158 |
|
|
159 |
#endif /* thread.h */ |
#endif /* thread.h */ |