110 |
(arguments ((thread-port "thread" thread-t))) |
(arguments ((thread-port "thread" thread-t))) |
111 |
) |
) |
112 |
|
|
|
(define-type thread-status-t |
|
|
(c-name "thread_status_t") |
|
|
(comment "thread execution state") |
|
|
(attrs NO-FIXED-LENGTH) ; attrs |
|
|
(native-type RTMK_MSG_TYPE_CHARACTER) |
|
|
() ; array-size |
|
|
() |
|
|
() |
|
|
) |
|
|
|
|
113 |
(define-type host-string-t |
(define-type host-string-t |
114 |
(c-name "host_string_t") |
(c-name "host_string_t") |
115 |
(comment "host string") |
(comment "host string") |
140 |
(state "state" thread-status-t AD_INOUT))) |
(state "state" thread-status-t AD_INOUT))) |
141 |
) |
) |
142 |
|
|
|
|
|
143 |
|
|
144 |
; Allocate new port with recieve rights in TASK-PORT. The name of |
; Allocate new port with recieve rights in TASK-PORT. The name of |
145 |
; the port will be received in NAMEP. |
; the port will be received in NAMEP. |
240 |
(size "size" vm-size-t) |
(size "size" vm-size-t) |
241 |
(objectp "objectp" memory-object-t AD_IN))) |
(objectp "objectp" memory-object-t AD_IN))) |
242 |
) |
) |
243 |
|
|
244 |
|
; Insert rights for PORT into TASK-PORT using RIGHT_NAME. |
245 |
|
; RIGHT_TYPE specifies what type should be inserted. |
246 |
|
(define-routine port-insert-right |
247 |
|
(c-name "port_insert_right") |
248 |
|
(comment "???") |
249 |
|
() |
250 |
|
(return-type kern-return-t) |
251 |
|
(arguments ((task-port "task" task-t) |
252 |
|
(port "port" rtmk-port-t) |
253 |
|
(right-name "right_name" rtmk-port-name-t) |
254 |
|
(right-type "right_type" rtmk-port-type-t))) |
255 |
|
) |