Changeset 3f695aad in mainline

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.

Files:

• libc/generic/time.c (modified) (2 diffs)
• ns/ns.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);
                 }

ns/ns.c

@@ -82 +82 @@
         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");
@@ -96 +92 @@
                             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);
 }