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