63 |
extern kern_return_t task_terminate __P ((rtmk_port_t task)); |
extern kern_return_t task_terminate __P ((rtmk_port_t task)); |
64 |
extern kern_return_t __task_terminate __P ((rtmk_port_t task)); |
extern kern_return_t __task_terminate __P ((rtmk_port_t task)); |
65 |
|
|
66 |
|
/* Set special port in TASK to PORT at SLOT in special port array. */ |
67 |
|
extern kern_return_t task_special_port_set (rtmk_port_t task, int slot, |
68 |
|
rtmk_port_t port); |
69 |
|
extern kern_return_t __task_special_port_set (rtmk_port_t task, int slot, |
70 |
|
rtmk_port_t port); |
71 |
|
|
72 |
|
/* Get send rights to port SLOT in TASK's special port set. |
73 |
|
Right is returned in PORTP. */ |
74 |
|
extern kern_return_t task_special_port_get (rtmk_port_t task, int slot, |
75 |
|
rtmk_port_t *portp); |
76 |
|
extern kern_return_t __task_special_port_get (rtmk_port_t task, int slot, |
77 |
|
rtmk_port_t *portp); |
78 |
|
|
79 |
|
|
80 |
|
|
81 |
/* Threads. */ |
/* Threads. */ |
82 |
|
|
128 |
extern kern_return_t __port_allocate __P ((rtmk_port_t task, |
extern kern_return_t __port_allocate __P ((rtmk_port_t task, |
129 |
rtmk_port_t *portp)); |
rtmk_port_t *portp)); |
130 |
|
|
131 |
|
/* Allocate port in TASK's IPC space. We insist on PORT_NAME. */ |
132 |
|
extern kern_return_t port_allocate_name (rtmk_port_t task, |
133 |
|
rtmk_port_t port_name); |
134 |
|
extern kern_return_t __port_allocate_name (rtmk_port_t task, |
135 |
|
rtmk_port_t port_name); |
136 |
|
|
137 |
/* Rename OLD_NAME right name to NEW_NAME in TASK's IPC space. */ |
/* Rename OLD_NAME right name to NEW_NAME in TASK's IPC space. */ |
138 |
extern kern_return_t port_rename __P ((rtmk_port_t task, |
extern kern_return_t port_rename __P ((rtmk_port_t task, |
139 |
rtmk_port_name_t old_name, |
rtmk_port_name_t old_name, |