182 |
#endif |
#endif |
183 |
) |
) |
184 |
|
|
185 |
|
(define-type eventcnt-t |
186 |
|
(c-name "rtmk_port_t") |
187 |
|
(comment "right to event counter") |
188 |
|
(attrs) ; attrs |
189 |
|
(native-type RTMK_MSG_TYPE_COPY_SEND) |
190 |
|
() ; array-size |
191 |
|
#ifdef KERNEL_SERVER |
192 |
|
(encode (c-call eventcnt_t "convert_evc_to_port")) |
193 |
|
(decode (c-call eventcnt_t "convert_port_to_evc")) |
194 |
|
#else |
195 |
|
() |
196 |
|
() |
197 |
|
#endif |
198 |
|
) |
199 |
|
|
200 |
(define-type thread-status-t |
(define-type thread-status-t |
201 |
(c-name "thread_status_t") |
(c-name "thread_status_t") |
202 |
(comment "thread execution state") |
(comment "thread execution state") |