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

File:

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

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

@@ -49 +49 @@
 #include <ddi/ddi.h>
 #include <ddi/device.h>
-#include <log.h>
 
 #define GTA02_MEMORY_START      0x30000000      /* physical */
@@ -150 +149 @@
         } else {
                 /* Spurious interrupt.*/
-                log(LF_ARCH, LVL_DEBUG, "cpu%d: spurious interrupt (inum=%d)",
+                printf("cpu%d: spurious interrupt (inum=%d)\n",
                     CPU->id, inum);
         }