Rev 2131 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2131 | Rev 2292 | ||
|---|---|---|---|
| Line 41... | Line 41... | ||
| 41 | 41 | ||
| 42 | void receive_comm_area(ipc_callid_t callid, ipc_call_t *call, void **area) |
42 | void receive_comm_area(ipc_callid_t callid, ipc_call_t *call, void **area) |
| 43 | { |
43 | { |
| 44 | void *dest; |
44 | void *dest; |
| 45 | 45 | ||
| 46 | dest = as_get_mappable_page(IPC_GET_ARG2(*call), |
46 | dest = as_get_mappable_page(IPC_GET_ARG2(*call)); |
| 47 | PAGE_COLOR(IPC_GET_ARG1(*call))); |
- | |
| 48 | if (ipc_answer_fast(callid, 0, (sysarg_t) dest, 0) == 0) { |
47 | if (ipc_answer_fast(callid, 0, (sysarg_t) dest, 0) == 0) { |
| 49 | if (*area) |
48 | if (*area) |
| 50 | as_area_destroy(*area); |
49 | as_area_destroy(*area); |
| 51 | *area = dest; |
50 | *area = dest; |
| 52 | } |
51 | } |