1 |
; ??? -*- Scheme -*- |
; ??? -*- Scheme -*- |
2 |
; Copyright 1999, 2000, 2001 Johan Rydberg, jrydberg@opencores.org. |
; Copyright 1999, 2000, 2001, 2002 Johan Rydberg, jrydberg@opencores.org. |
3 |
; |
; |
4 |
; This program is free software; you can redistribute it and/or modify |
; This program is free software; you can redistribute it and/or modify |
5 |
; it under the terms of the GNU General Public License as published by |
; it under the terms of the GNU General Public License as published by |
117 |
() |
() |
118 |
) |
) |
119 |
|
|
120 |
|
(define-type vm-inherit-t |
121 |
|
(c-name "vm_inherit_t") |
122 |
|
(comment "FIXME") |
123 |
|
(attrs) |
124 |
|
(native-type RTMK_MSG_TYPE_INTEGER32) |
125 |
|
() |
126 |
|
() |
127 |
|
() |
128 |
|
) |
129 |
|
|
130 |
(define-type thread-t |
(define-type thread-t |
131 |
(c-name "rtmk_port_t") |
(c-name "rtmk_port_t") |
132 |
(comment "port (send rights) to thread") |
(comment "port (send rights) to thread") |
157 |
#endif |
#endif |
158 |
) |
) |
159 |
|
|
160 |
(define-type vm-object-t |
(define-type memory-object-t |
161 |
(c-name "rtmk_port_t") |
(c-name "rtmk_port_t") |
162 |
(comment "port (send rights) to VM object") |
(comment "port (send rights) to VM object") |
163 |
(attrs) ; attrs |
(attrs) ; attrs |
164 |
(native-type RTMK_MSG_TYPE_COPY_SEND) |
(native-type RTMK_MSG_TYPE_COPY_SEND) |
165 |
() ; array-size |
() ; array-size |
166 |
#ifdef KERNEL_SERVER |
#ifdef KERNEL_SERVER |
167 |
(encode (c-call task_t "convert_object_to_port")) |
(encode (c-call vm_object_t "convert_object_to_port")) |
168 |
(decode (c-call task_t "convert_port_to_object")) |
(decode (c-call vm_object_t "convert_port_to_object")) |
169 |
#else |
#else |
170 |
() |
() |
171 |
() |
() |