68 |
) |
) |
69 |
|
|
70 |
(define-type rtmk-port-name-t |
(define-type rtmk-port-name-t |
71 |
(c-name "rtmk_port_t") |
(c-name "rtmk_port_name_t") |
72 |
|
(comment "port (send rights)") |
73 |
|
(attrs) ; attrs |
74 |
|
(native-type RTMK_MSG_TYPE_INTEGER32) |
75 |
|
() ; array-size |
76 |
|
() |
77 |
|
() |
78 |
|
) |
79 |
|
|
80 |
|
(define-type rtmk-port-type-t |
81 |
|
(c-name "rtmk_port_type_t") |
82 |
(comment "port (send rights)") |
(comment "port (send rights)") |
83 |
(attrs) ; attrs |
(attrs) ; attrs |
84 |
(native-type RTMK_MSG_TYPE_INTEGER32) |
(native-type RTMK_MSG_TYPE_INTEGER32) |
182 |
#endif |
#endif |
183 |
) |
) |
184 |
|
|
185 |
|
(define-type thread-status-t |
186 |
|
(c-name "thread_status_t") |
187 |
|
(comment "thread execution state") |
188 |
|
(attrs NO-FIXED-LENGTH) ; attrs |
189 |
|
(native-type RTMK_MSG_TYPE_CHARACTER) |
190 |
|
() ; array-size |
191 |
|
() |
192 |
|
() |
193 |
|
) |
194 |
|
|
195 |
#endif /* std-types.defs */ |
#endif /* std-types.defs */ |