Rev 2801 | Rev 2811 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2801 | Rev 2808 | ||
|---|---|---|---|
| Line 288... | Line 288... | ||
| 288 | extern int ipc_data_write_receive(ipc_callid_t *callid, size_t *size); |
288 | extern int ipc_data_write_receive(ipc_callid_t *callid, size_t *size); |
| 289 | extern int ipc_data_write_finalize(ipc_callid_t callid, void *dst, size_t size); |
289 | extern int ipc_data_write_finalize(ipc_callid_t callid, void *dst, size_t size); |
| 290 | 290 | ||
| 291 | #include <task.h> |
291 | #include <task.h> |
| 292 | 292 | ||
| 293 | extern int ipc_connect_task(task_id_t id); |
293 | extern int ipc_connect_kbox(task_id_t id); |
| 294 | 294 | ||
| 295 | #endif |
295 | #endif |
| 296 | 296 | ||
| 297 | /** @} |
297 | /** @} |
| 298 | */ |
298 | */ |