Changeset f8ddd17 in mainline for uspace/libc/generic/time.c

Timestamp:

2006-12-09T20:20:50Z (18 years ago)

Author:

Jakub Jermar <jakub@…>

Branches:

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

Children:

b82a13c

Parents:

9ab9c2ec

Message:

Rework support for virtually indexed cache.
Instead of repeatedly flushing the data cache, which was a huge overkill, refuse to create an illegal address alias
in the kernel (again) and allocate appropriate page color in userspace instead. Extend the detection also to
SYS_PHYSMEM_MAP syscall.

Add support for tracking physical memory areas mappable by SYS_PHYSMEM_MAP.

Lots of coding style changes.

File:

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

uspace/libc/generic/time.c

@@ -41 +41 @@
 #include <atomic.h>
 #include <futex.h>
+#include <sysinfo.h>
 #include <ipc/services.h>
 
@@ -72 +73 @@
 
         if (!ktime) {
-                mapping = as_get_mappable_page(PAGE_SIZE);
+                mapping = as_get_mappable_page(PAGE_SIZE, (int)
+                        sysinfo_value("clock.fcolor"));
                 /* Get the mapping of kernel clock */
-                res = ipc_call_sync_3(PHONE_NS, IPC_M_AS_AREA_RECV, (sysarg_t) mapping, PAGE_SIZE, SERVICE_MEM_REALTIME, NULL, &rights, NULL);
+                res = ipc_call_sync_3(PHONE_NS, IPC_M_AS_AREA_RECV, (sysarg_t)
+                        mapping, PAGE_SIZE, SERVICE_MEM_REALTIME, NULL, &rights,
+                        NULL);
                 if (res) {
                         printf("Failed to initialize timeofday memarea\n");