Changeset f8ddd17 in mainline for kernel/generic/src/time/clock.c

Timestamp:

2006-12-09T20:20:50Z (19 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:

• kernel/generic/src/time/clock.c (modified) (4 diffs)

kernel/generic/src/time/clock.c

@@ -55 +55 @@
 #include <sysinfo/sysinfo.h>
 #include <arch/barrier.h>
+#include <mm/frame.h>
+#include <ddi/ddi.h>
+
+/** Physical memory area of the real time clock. */
+static parea_t clock_parea;
 
 /* Pointers to public variables with time */
@@ -73 +78 @@
  * information about realtime data. We allocate 1 page with these 
  * data and update it periodically.
- *
- * 
  */
 void clock_counter_init(void)
@@ -80 +83 @@
         void *faddr;
 
-        faddr = frame_alloc(0, FRAME_ATOMIC);
+        faddr = frame_alloc(ONE_FRAME, FRAME_ATOMIC);
         if (!faddr)
                 panic("Cannot allocate page for clock");
         
-        public_time = (struct ptime *)PA2KA(faddr);
+        public_time = (struct ptime *) PA2KA(faddr);
 
         /* TODO: We would need some arch dependent settings here */
@@ -91 +94 @@
         public_time->useconds = 0; 
 
-        sysinfo_set_item_val("clock.faddr", NULL, (unative_t)faddr);
+        clock_parea.pbase = (uintptr_t) faddr;
+        clock_parea.vbase = (uintptr_t) public_time;
+        clock_parea.frames = 1;
+        clock_parea.cacheable = true;
+        ddi_parea_register(&clock_parea);
+
+        /*
+         * Prepare information for the userspace so that it can successfully
+         * physmem_map() the clock_parea.
+         */
+        sysinfo_set_item_val("clock.cacheable", NULL, (unative_t) true);
+        sysinfo_set_item_val("clock.fcolor", NULL, (unative_t)
+                PAGE_COLOR(clock_parea.vbase));
+        sysinfo_set_item_val("clock.faddr", NULL, (unative_t) faddr);
 }