148,9 → 148,9 |
printf("Failed to initialize timeofday memarea\n"); |
_exit(1); |
} |
if (! (rights & AS_AREA_READ)) { |
if (!(rights & AS_AREA_READ)) { |
printf("Received bad rights on time area: %X\n", |
rights); |
rights); |
as_area_destroy(mapping); |
_exit(1); |
} |
175,6 → 175,17 |
return 0; |
} |
|
time_t time(time_t *tloc) |
{ |
struct timeval tv; |
|
if (gettimeofday(&tv, NULL)) |
return (time_t) -1; |
if (tloc) |
*tloc = tv.tv_sec; |
return tv.tv_sec; |
} |
|
/** Wait unconditionally for specified number of microseconds */ |
void usleep(unsigned long usec) |
{ |