Changeset 3f695aad in mainline for libc/generic/time.c

Timestamp:

2006-05-31T14:14:32Z (19 years ago)

Author:

Ondrej Palkovsky <ondrap@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

fc42b28

Parents:

1029d3d3

Message:

Changed according to as_area_send/recv change.

File:

• libc/generic/time.c (modified) (2 diffs)

libc/generic/time.c

@@ -62 +62 @@
         void *mapping;
         sysarg_t s1, s2;
-        sysarg_t t1;
+        sysarg_t rights;
         int res;
 
@@ -71 +71 @@
                                       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);
                 }