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

File:

• kernel/arch/arm32/src/mach/gta02/gta02.c (modified) (1 diff)

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

@@ -103 +103 @@
 
         gta02_timer = (void *) km_map(S3C24XX_TIMER_ADDRESS, PAGE_SIZE,
-            0);
+            PAGE_NOT_CACHEABLE);
         irqc_regs = (void *) km_map(S3C24XX_IRQC_ADDRESS, PAGE_SIZE,
-            0);
+            PAGE_NOT_CACHEABLE);
 
         /* Initialize interrupt controller. */