Changeset 94d211e in mainline for kernel/genarch/src/drivers/am335x/timer.c

Timestamp:

2018-03-21T19:32:48Z (7 years ago)

Author:

Jiří Zárevúcky <zarevucky.jiri@…>

Children:

1c7a170

Parents:

973be387

Message:

Change the way page flags work. TODO description

File:

• kernel/genarch/src/drivers/am335x/timer.c (modified) (1 diff)

kernel/genarch/src/drivers/am335x/timer.c

@@ -100 +100 @@
         size = regs_map[id].size;
 
-        timer->regs = (void *) km_map(base_addr, size, PAGE_NOT_CACHEABLE);
+        timer->regs = (void *) km_map(base_addr, size,
+            PAGE_READ_WRITE | PAGE_KERNEL | PAGE_NOT_CACHEABLE);
         assert(timer->regs != NULL);