Changes in kernel/arch/arm32/src/mach/raspberrypi/raspberrypi.c [4b1c7c6f:24abb85d] in mainline

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),
-                                    0);
+                                    PAGE_NOT_CACHEABLE);
         assert(raspi.irc);
         bcm2835_irc_init(raspi.irc);
@@ -109 +109 @@
         raspi.timer = (void *) km_map(BCM2835_TIMER_ADDR,
                                       sizeof(bcm2835_timer_t),
-                                      0);
+                                      PAGE_NOT_CACHEABLE);
 }