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 | } |