Changes in kernel/arch/arm32/src/mach/gta02/gta02.c [f9ab562:b2fa1204] in mainline

File:

• kernel/arch/arm32/src/mach/gta02/gta02.c (modified) (3 diffs)

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

@@ -41 +41 @@
 #include <genarch/fb/fb.h>
 #include <abi/fb/visuals.h>
-#include <genarch/drivers/s3c24xx_uart/s3c24xx_uart.h>
-#include <genarch/drivers/s3c24xx_irqc/s3c24xx_irqc.h>
-#include <genarch/drivers/s3c24xx_timer/s3c24xx_timer.h>
+#include <genarch/drivers/s3c24xx/uart.h>
+#include <genarch/drivers/s3c24xx/irqc.h>
+#include <genarch/drivers/s3c24xx/timer.h>
 #include <genarch/srln/srln.h>
 #include <sysinfo/sysinfo.h>
@@ -49 +49 @@
 #include <ddi/ddi.h>
 #include <ddi/device.h>
+#include <log.h>
 
 #define GTA02_MEMORY_START      0x30000000      /* physical */
@@ -149 +150 @@
         } else {
                 /* Spurious interrupt.*/
-                printf("cpu%d: spurious interrupt (inum=%d)\n",
+                log(LF_ARCH, LVL_DEBUG, "cpu%d: spurious interrupt (inum=%d)",
                     CPU->id, inum);
         }