Rev 2677 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2677 | Rev 2678 | ||
|---|---|---|---|
| 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_share_in_send_1_1(PHONE_NS, mapping, PAGE_SIZE, |
144 | res = ipc_share_in_start_1_1(PHONE_NS, mapping, PAGE_SIZE, |
| 145 | SERVICE_MEM_REALTIME, &rights); |
145 | SERVICE_MEM_REALTIME, &rights); |
| 146 | if (res) { |
146 | if (res) { |
| 147 | printf("Failed to initialize timeofday memarea\n"); |
147 | printf("Failed to initialize timeofday memarea\n"); |
| 148 | _exit(1); |
148 | _exit(1); |
| 149 | } |
149 | } |