Changeset 94d211e in mainline for kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c

Timestamp:

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

Author:

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

Children:

1c7a170

Parents:

973be387

Message:

Change the way page flags work. TODO description

File:

• kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c (modified) (2 diffs)

kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c

@@ -102 +102 @@
         /* Initialize interrupt controller */
         raspi.irc = (void *) km_map(BCM2835_IRC_ADDR, sizeof(bcm2835_irc_t),
-                                    PAGE_NOT_CACHEABLE);
+            PAGE_READ_WRITE | PAGE_KERNEL | PAGE_NOT_CACHEABLE);
         assert(raspi.irc);
         bcm2835_irc_init(raspi.irc);
@@ -108 +108 @@
         /* Initialize system timer */
         raspi.timer = (void *) km_map(BCM2835_TIMER_ADDR,
-                                      sizeof(bcm2835_timer_t),
-                                      PAGE_NOT_CACHEABLE);
+              sizeof(bcm2835_timer_t),
+              PAGE_READ_WRITE | PAGE_KERNEL | PAGE_NOT_CACHEABLE);
 }