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