/uspace/trunk/ns/ns.c |
---|
81,10 → 81,6 |
static void *addr = NULL; |
void *ph_addr; |
if (IPC_GET_ARG3(*call) != (AS_AREA_READ | AS_AREA_CACHEABLE)) { |
ipc_answer_fast(callid, EPERM, 0, 0); |
return; |
} |
if (!addr) { |
ph_addr = (void *)sysinfo_value("clock.faddr"); |
if (!ph_addr) { |
95,7 → 91,7 |
map_physmem(task_get_id(), ph_addr, addr, 1, |
AS_AREA_READ | AS_AREA_CACHEABLE); |
} |
ipc_answer_fast(callid, 0, (ipcarg_t)addr, 0); |
ipc_answer_fast(callid, 0, (ipcarg_t)addr, AS_AREA_READ | AS_AREA_CACHEABLE); |
} |
int main(int argc, char **argv) |
/uspace/trunk/libc/generic/time.c |
---|
61,7 → 61,7 |
{ |
void *mapping; |
sysarg_t s1, s2; |
sysarg_t t1; |
sysarg_t rights; |
int res; |
if (!ktime) { |
70,12 → 70,18 |
res = ipc_call_sync_3(PHONE_NS, IPC_M_AS_AREA_RECV, |
TMAREA, |
PAGE_SIZE, |
AS_AREA_READ | AS_AREA_CACHEABLE, |
&t1,&t1,&t1); |
0, |
NULL,&rights,NULL); |
if (res) { |
printf("Failed to initialize timeofday memarea\n"); |
_exit(1); |
} |
if (rights != (AS_AREA_READ | AS_AREA_CACHEABLE)) { |
printf("Received bad rights on time area: %X\n", |
rights); |
as_area_destroy(TMAREA); |
_exit(1); |
} |
ktime = (void *) (TMAREA); |
} |
if (tz) { |