Changes in uspace/lib/c/generic/time.c [d4d74dc:c0699467] in mainline

File:

• uspace/lib/c/generic/time.c (modified) (2 diffs)

uspace/lib/c/generic/time.c

@@ -43 +43 @@
 #include <ddi.h>
 #include <libc.h>
-#include <unistd.h>
 
 /** Pointer to kernel shared variables with time */
@@ -148 +147 @@
                 }
                 
-                void *addr;
-                rc = physmem_map((void *) faddr, 1,
-                    AS_AREA_READ | AS_AREA_CACHEABLE, &addr);
+                void *addr = as_get_mappable_page(PAGE_SIZE);
+                if (addr == NULL) {
+                        errno = ENOMEM;
+                        return -1;
+                }
+                
+                rc = physmem_map((void *) faddr, addr, 1,
+                    AS_AREA_READ | AS_AREA_CACHEABLE);
                 if (rc != EOK) {
                         as_area_destroy(addr);