/uspace/trunk/libc/generic/time.c |
---|
34,6 → 34,7 |
#include <unistd.h> |
#include <atomic.h> |
#include <futex.h> |
#include <ipc/services.h> |
#include <sysinfo.h> |
#include <as.h> |
67,7 → 68,7 |
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, 0, |
mapping, PAGE_SIZE, SERVICE_MEM_REALTIME, |
NULL,&rights,NULL); |
if (res) { |
printf("Failed to initialize timeofday memarea\n"); |