Rev 3362 | Rev 3395 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 3362 | Rev 3370 | ||
|---|---|---|---|
| Line 291... | Line 291... | ||
| 291 | 291 | ||
| 292 | extern void ipc_init(void); |
292 | extern void ipc_init(void); |
| 293 | extern call_t * ipc_wait_for_call(answerbox_t *, uint32_t, int); |
293 | extern call_t * ipc_wait_for_call(answerbox_t *, uint32_t, int); |
| 294 | extern void ipc_answer(answerbox_t *, call_t *); |
294 | extern void ipc_answer(answerbox_t *, call_t *); |
| 295 | extern int ipc_call(phone_t *, call_t *); |
295 | extern int ipc_call(phone_t *, call_t *); |
| 296 | extern void ipc_call_sync(phone_t *, call_t *); |
296 | extern int ipc_call_sync(phone_t *, call_t *); |
| 297 | extern void ipc_phone_init(phone_t *); |
297 | extern void ipc_phone_init(phone_t *); |
| 298 | extern void ipc_phone_connect(phone_t *, answerbox_t *); |
298 | extern void ipc_phone_connect(phone_t *, answerbox_t *); |
| 299 | extern void ipc_call_free(call_t *); |
299 | extern void ipc_call_free(call_t *); |
| 300 | extern call_t * ipc_call_alloc(int); |
300 | extern call_t * ipc_call_alloc(int); |
| 301 | extern void ipc_answerbox_init(answerbox_t *, struct task *); |
301 | extern void ipc_answerbox_init(answerbox_t *, struct task *); |