| 205,6 → 205,8 |
|---|
| |
| #define IPC_MAX_PHONES 16 |
| |
| #include <synch/spinlock.h> |
| #include <synch/mutex.h> |
| #include <synch/waitq.h> |
| |
| struct answerbox; |
| 225,7 → 227,7 |
|---|
| |
| /** Structure identifying phone (in TASK structure) */ |
| typedef struct { |
| SPINLOCK_DECLARE(lock); |
| mutex_t lock; |
| link_t link; |
| struct answerbox *callee; |
| ipc_phone_state_t state; |
| 258,6 → 260,12 |
|---|
| typedef struct { |
| unative_t args[IPC_CALL_LEN]; |
| phone_t *phone; |
| /* |
| * The forward operation can masquerade the caller phone. For those |
| * cases, we must keep it aside so that the answer is processed |
| * correctly. |
| */ |
| phone_t *caller_phone; |
| } ipc_data_t; |
| |
| typedef struct { |
| 282,23 → 290,22 |
|---|
| } call_t; |
| |
| extern void ipc_init(void); |
| extern call_t * ipc_wait_for_call(answerbox_t *box, uint32_t usec, int flags); |
| extern void ipc_answer(answerbox_t *box, call_t *request); |
| extern int ipc_call(phone_t *phone, call_t *call); |
| extern void ipc_call_sync(phone_t *phone, call_t *request); |
| extern void ipc_phone_init(phone_t *phone); |
| extern void ipc_phone_connect(phone_t *phone, answerbox_t *box); |
| extern void ipc_call_free(call_t *call); |
| extern call_t * ipc_call_alloc(int flags); |
| extern void ipc_answerbox_init(answerbox_t *box); |
| extern void ipc_call_static_init(call_t *call); |
| extern call_t * ipc_wait_for_call(answerbox_t *, uint32_t, int); |
| extern void ipc_answer(answerbox_t *, call_t *); |
| extern int ipc_call(phone_t *, call_t *); |
| extern int ipc_call_sync(phone_t *, call_t *); |
| extern void ipc_phone_init(phone_t *); |
| extern void ipc_phone_connect(phone_t *, answerbox_t *); |
| extern void ipc_call_free(call_t *); |
| extern call_t * ipc_call_alloc(int); |
| extern void ipc_answerbox_init(answerbox_t *, struct task *); |
| extern void ipc_call_static_init(call_t *); |
| extern void task_print_list(void); |
| extern int ipc_forward(call_t *call, phone_t *newphone, answerbox_t *oldbox, |
| int mode); |
| extern int ipc_forward(call_t *, phone_t *, answerbox_t *, int); |
| extern void ipc_cleanup(void); |
| extern int ipc_phone_hangup(phone_t *phone); |
| extern void ipc_backsend_err(phone_t *phone, call_t *call, unative_t err); |
| extern void ipc_print_task(task_id_t taskid); |
| extern int ipc_phone_hangup(phone_t *); |
| extern void ipc_backsend_err(phone_t *, call_t *, unative_t); |
| extern void ipc_print_task(task_id_t); |
| |
| extern answerbox_t *ipc_phone_0; |
| |