20 |
|
|
21 |
#include <stdbool.h> |
#include <stdbool.h> |
22 |
#include <rtmk/kern-return.h> |
#include <rtmk/kern-return.h> |
23 |
|
#include <rtmk/ipc-types.h> |
24 |
|
|
25 |
#include "tm.h" |
#include "tm.h" |
26 |
#include "queue.h" |
#include "queue.h" |
27 |
#include "vm-map.h" |
#include "vm-map.h" |
28 |
#include "thread-lock.h" |
#include "thread-lock.h" |
29 |
|
#include "ipc-port.h" |
30 |
|
|
31 |
struct task |
struct task |
32 |
{ |
{ |
39 |
int suspend_cnt; /* Suspend counter. */ |
int suspend_cnt; /* Suspend counter. */ |
40 |
|
|
41 |
struct ipc_object *ipc_object; /* IPC name space. */ |
struct ipc_object *ipc_object; /* IPC name space. */ |
42 |
|
|
43 |
|
/* Kernel IPC port for the task. The kernel have receive rights for |
44 |
|
this port and threads uses it to control the task. */ |
45 |
|
|
46 |
|
struct ipc_port *task_port; |
47 |
|
|
48 |
|
/* Cache for initialize send right name in tasks IPC object. */ |
49 |
|
|
50 |
|
rtmk_port_t task_right_name; |
51 |
}; |
}; |
52 |
|
|
53 |
/* Return pointer to kernel task. */ |
/* Return pointer to kernel task. */ |