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)) { |