253 |
(right-name "right_name" rtmk-port-name-t) |
(right-name "right_name" rtmk-port-name-t) |
254 |
(right-type "right_type" rtmk-port-type-t))) |
(right-type "right_type" rtmk-port-type-t))) |
255 |
) |
) |
256 |
|
|
257 |
|
; Allocate new event counter. |
258 |
|
(define-routine eventcnt-allocate |
259 |
|
(c-name "eventcnt_allocate") |
260 |
|
(comment "????") |
261 |
|
() |
262 |
|
(return-type kern-return-t) |
263 |
|
(arguments ((task-port "task" task-t) |
264 |
|
(evcp "evcp" eventcnt-t AD_IN))) |
265 |
|
) |
266 |
|
|
267 |
|
|
268 |
|
; Attach event counter to interrupt INTR_NO. When interrupt |
269 |
|
; occurs it will signal on the event counter. |
270 |
|
(define-routine host-attach-interrupt |
271 |
|
(c-name "host_attach_interrupt") |
272 |
|
(comment "???") |
273 |
|
() |
274 |
|
(return-type kern-return-t) |
275 |
|
(arguments ((host-port "host" rtmk-port-t) |
276 |
|
(intr-no "intr_no" int) |
277 |
|
(evc "evc" eventcnt-t))) |
278 |
|
) |