258 |
vm_size_t size, |
vm_size_t size, |
259 |
rtmk_port_t *objectp)); |
rtmk_port_t *objectp)); |
260 |
|
|
261 |
|
/* Attach event counter EVC to interrupt with vector INTR_NO. */ |
262 |
|
extern kern_return_t host_attach_interrupt __P ((rtmk_port_t host_port, |
263 |
|
int intr_no, rtmk_port_t evc)); |
264 |
|
extern kern_return_t __host_attach_interrupt __P ((rtmk_port_t host_port, |
265 |
|
int intr_no, rtmk_port_t evc)); |
266 |
|
|
267 |
|
|
268 |
|
/* Event counters. */ |
269 |
|
|
270 |
|
/* Allocate new event counter for TASK. Return name of it in *EVCP. */ |
271 |
|
extern kern_return_t eventcnt_allocate __P ((rtmk_port_t task, rtmk_port_t *evcp)); |
272 |
|
extern kern_return_t __eventcnt_allocate __P ((rtmk_port_t task, rtmk_port_t *evcp)); |
273 |
|
|
274 |
|
/* Wait for event to happen on EVC. */ |
275 |
|
extern kern_return_t eventcnt_wait __P ((rtmk_port_t task, rtmk_port_t evc)); |
276 |
|
|
277 |
#ifdef __cplusplus |
#ifdef __cplusplus |
278 |
}; |
}; |
279 |
#endif |
#endif |