Rev 2071 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2071 | Rev 2141 | ||
|---|---|---|---|
| Line 70... | Line 70... | ||
| 70 | sysarg_t s1, s2; |
70 | sysarg_t s1, s2; |
| 71 | sysarg_t rights; |
71 | sysarg_t rights; |
| 72 | int res; |
72 | int res; |
| 73 | 73 | ||
| 74 | if (!ktime) { |
74 | if (!ktime) { |
| 75 | mapping = as_get_mappable_page(PAGE_SIZE, (int) |
75 | mapping = as_get_mappable_page(PAGE_SIZE); |
| 76 | sysinfo_value("clock.fcolor")); |
- | |
| 77 | /* Get the mapping of kernel clock */ |
76 | /* Get the mapping of kernel clock */ |
| 78 | res = ipc_call_sync_3(PHONE_NS, IPC_M_AS_AREA_RECV, (sysarg_t) |
77 | res = ipc_call_sync_3(PHONE_NS, IPC_M_AS_AREA_RECV, |
| 79 | mapping, PAGE_SIZE, SERVICE_MEM_REALTIME, NULL, &rights, |
78 | (sysarg_t) mapping, PAGE_SIZE, SERVICE_MEM_REALTIME, NULL, |
| 80 | NULL); |
79 | &rights, NULL); |
| 81 | if (res) { |
80 | if (res) { |
| 82 | printf("Failed to initialize timeofday memarea\n"); |
81 | printf("Failed to initialize timeofday memarea\n"); |
| 83 | _exit(1); |
82 | _exit(1); |
| 84 | } |
83 | } |
| 85 | if (! (rights & AS_AREA_READ)) { |
84 | if (! (rights & AS_AREA_READ)) { |