Rev 1701 | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1701 | Rev 1719 | ||
|---|---|---|---|
| Line 71... | Line 71... | ||
| 71 | int res; |
71 | int res; |
| 72 | 72 | ||
| 73 | if (!ktime) { |
73 | if (!ktime) { |
| 74 | mapping = as_get_mappable_page(PAGE_SIZE); |
74 | mapping = as_get_mappable_page(PAGE_SIZE); |
| 75 | /* Get the mapping of kernel clock */ |
75 | /* Get the mapping of kernel clock */ |
| 76 | res = ipc_call_sync_3(PHONE_NS, IPC_M_AS_AREA_RECV, |
76 | res = ipc_call_sync_3(PHONE_NS, IPC_M_AS_AREA_RECV, (sysarg_t) mapping, PAGE_SIZE, SERVICE_MEM_REALTIME, NULL, &rights, NULL); |
| 77 | mapping, PAGE_SIZE, SERVICE_MEM_REALTIME, |
- | |
| 78 | NULL,&rights,NULL); |
- | |
| 79 | if (res) { |
77 | if (res) { |
| 80 | printf("Failed to initialize timeofday memarea\n"); |
78 | printf("Failed to initialize timeofday memarea\n"); |
| 81 | _exit(1); |
79 | _exit(1); |
| 82 | } |
80 | } |
| 83 | if (! (rights & AS_AREA_READ)) { |
81 | if (! (rights & AS_AREA_READ)) { |
| Line 117... | Line 115... | ||
| 117 | } |
115 | } |
| 118 | 116 | ||
| 119 | 117 | ||
| 120 | /** @} |
118 | /** @} |
| 121 | */ |
119 | */ |
| 122 | - | ||
| 123 | - | ||