Rev 2564 | Rev 2616 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2564 | Rev 2615 | ||
|---|---|---|---|
| Line 139... | Line 139... | ||
| 139 | int res; |
139 | int res; |
| 140 | 140 | ||
| 141 | if (!ktime) { |
141 | if (!ktime) { |
| 142 | mapping = as_get_mappable_page(PAGE_SIZE); |
142 | mapping = as_get_mappable_page(PAGE_SIZE); |
| 143 | /* Get the mapping of kernel clock */ |
143 | /* Get the mapping of kernel clock */ |
| 144 | res = ipc_call_sync_3(PHONE_NS, IPC_M_AS_AREA_RECV, |
144 | res = ipc_call_sync_3_2(PHONE_NS, IPC_M_AS_AREA_RECV, |
| 145 | (sysarg_t) mapping, PAGE_SIZE, SERVICE_MEM_REALTIME, NULL, |
145 | (sysarg_t) mapping, PAGE_SIZE, SERVICE_MEM_REALTIME, NULL, |
| 146 | &rights, NULL); |
146 | &rights); |
| 147 | if (res) { |
147 | if (res) { |
| 148 | printf("Failed to initialize timeofday memarea\n"); |
148 | printf("Failed to initialize timeofday memarea\n"); |
| 149 | _exit(1); |
149 | _exit(1); |
| 150 | } |
150 | } |
| 151 | if (!(rights & AS_AREA_READ)) { |
151 | if (!(rights & AS_AREA_READ)) { |