159 |
(comment "allocate new port with recieve rights in TASK-PORT") |
(comment "allocate new port with recieve rights in TASK-PORT") |
160 |
() |
() |
161 |
(return-type kern-return-t) |
(return-type kern-return-t) |
162 |
(arguments ((task-port "task" task-t) |
(arguments ((task-port "task" task-t) |
163 |
(namep "namep" rtmk-port-receive-t AD_IN))) |
(namep "namep" rtmk-port-receive-t AD_IN))) |
164 |
) |
) |
165 |
|
|
166 |
; Allocate w new port with receive rights in TASK-PORT. The name of |
; Allocate w new port with receive rights in TASK-PORT. The name of |
171 |
(comment "FIXME") |
(comment "FIXME") |
172 |
() |
() |
173 |
(return-type kern-return-t) |
(return-type kern-return-t) |
174 |
(arguments ((task-port "task" task-t) |
(arguments ((task-port "task" task-t) |
175 |
(port-name "name" rtmk-port-name-t))) |
(port-name "name" rtmk-port-name-t))) |
176 |
) |
) |
177 |
|
|
178 |
|
|
184 |
() |
() |
185 |
(return-type kern-return-t) |
(return-type kern-return-t) |
186 |
(arguments ((task "task" task-t) |
(arguments ((task "task" task-t) |
187 |
(object "object" rtmk-port-t) |
(object "object" memory-object-t) |
188 |
(offset-x "offset" vm-offset-t AD_INOUT) |
(offset-x "offset" vm-offset-t AD_INOUT) |
189 |
(size "size" vm-size-t) |
(size "size" vm-size-t) |
190 |
(anywhere "anywhere" int) |
(anywhere "anywhere" int) |
191 |
(prot "prot" vm-prot-t) |
(prot "prot" vm-prot-t) |
192 |
(inherit "inherit" int))) |
(inherit "inherit" vm-inherit-t))) |
193 |
) |
) |
194 |
|
|
195 |
; Tries to allocate SIZE number of bytes in TASK-PORT address |
; Tries to allocate SIZE number of bytes in TASK-PORT address |
205 |
(anywhere "anywhere" int))) |
(anywhere "anywhere" int))) |
206 |
) |
) |
207 |
|
|
208 |
|
|
209 |
; ??? |
; ??? |
210 |
(define-routine host-put |
(define-routine host-put |
211 |
(c-name "host_put") |
(c-name "host_put") |
228 |
(src-off "src_off" vm-offset-t) |
(src-off "src_off" vm-offset-t) |
229 |
(length "length" vm-size-t))) |
(length "length" vm-size-t))) |
230 |
) |
) |
231 |
|
|
232 |
|
; Reboot host. HOST_PORT must be priveledged port. |
233 |
|
(define-routine host-reboot |
234 |
|
(c-name "host_reboot") |
235 |
|
(comment "reboot host") |
236 |
|
() |
237 |
|
(return-type kern-return-t) |
238 |
|
(arguments ((host-port "host" rtmk-port-t))) |
239 |
|
) |
240 |
|
|
241 |
|
; Create a new host memory object. OFFSET is offset into physical |
242 |
|
; memory. SIZE should be page aligned. Right to object is returned |
243 |
|
; in OBJECTP. |
244 |
|
(define-routine host-memory-object-create |
245 |
|
(c-name "host_memory_object_create") |
246 |
|
(comment "???") |
247 |
|
() |
248 |
|
(return-type kern-return-t) |
249 |
|
(arguments ((host-port "host" rtmk-port-t) |
250 |
|
(x-offset "object" vm-offset-t) |
251 |
|
(size "size" vm-size-t) |
252 |
|
(objectp "objectp" memory-object-t AD_IN))) |
253 |
|
) |