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