| 26,7 → 26,7 |
|---|
| * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| */ |
| |
| /** @addtogroup libc |
| /** @addtogroup libc |
| * @{ |
| */ |
| /** @file |
| 73,9 → 73,7 |
|---|
| if (!ktime) { |
| mapping = as_get_mappable_page(PAGE_SIZE); |
| /* Get the mapping of kernel clock */ |
| res = ipc_call_sync_3(PHONE_NS, IPC_M_AS_AREA_RECV, |
| mapping, PAGE_SIZE, SERVICE_MEM_REALTIME, |
| NULL,&rights,NULL); |
| res = ipc_call_sync_3(PHONE_NS, IPC_M_AS_AREA_RECV, (sysarg_t) mapping, PAGE_SIZE, SERVICE_MEM_REALTIME, NULL, &rights, NULL); |
| if (res) { |
| printf("Failed to initialize timeofday memarea\n"); |
| _exit(1); |
| 117,7 → 115,5 |
|---|
| } |
| |
| |
| /** @} |
| /** @} |
| */ |
| |
| |