Index: kernel/arch/mips32/src/cpu/cpu.c
===================================================================
--- kernel/arch/mips32/src/cpu/cpu.c	(revision cfdeedc55a55b7c1fc8de8b3faea55104ff3f641)
+++ kernel/arch/mips32/src/cpu/cpu.c	(revision d57c7c22ec10cecc3ee30ee28e44f7702e425a37)
@@ -37,5 +37,5 @@
 #include <arch.h>
 #include <arch/cp0.h>
-#include <print.h>
+#include <stdio.h>
 
 struct data_t {
Index: kernel/arch/mips32/src/debug/stacktrace.c
===================================================================
--- kernel/arch/mips32/src/debug/stacktrace.c	(revision cfdeedc55a55b7c1fc8de8b3faea55104ff3f641)
+++ kernel/arch/mips32/src/debug/stacktrace.c	(revision d57c7c22ec10cecc3ee30ee28e44f7702e425a37)
@@ -66,5 +66,4 @@
 #include <typedefs.h>
 #include <arch/debugger.h>
-#include <print.h>
 
 #define R0	0U
Index: kernel/arch/mips32/src/debugger.c
===================================================================
--- kernel/arch/mips32/src/debugger.c	(revision cfdeedc55a55b7c1fc8de8b3faea55104ff3f641)
+++ kernel/arch/mips32/src/debugger.c	(revision d57c7c22ec10cecc3ee30ee28e44f7702e425a37)
@@ -37,5 +37,5 @@
 #include <console/kconsole.h>
 #include <console/cmd.h>
-#include <print.h>
+#include <stdio.h>
 #include <log.h>
 #include <panic.h>
Index: kernel/arch/mips32/src/exception.c
===================================================================
--- kernel/arch/mips32/src/exception.c	(revision cfdeedc55a55b7c1fc8de8b3faea55104ff3f641)
+++ kernel/arch/mips32/src/exception.c	(revision d57c7c22ec10cecc3ee30ee28e44f7702e425a37)
@@ -41,5 +41,4 @@
 #include <assert.h>
 #include <proc/thread.h>
-#include <print.h>
 #include <interrupt.h>
 #include <halt.h>
Index: kernel/arch/mips32/src/mm/frame.c
===================================================================
--- kernel/arch/mips32/src/mm/frame.c	(revision cfdeedc55a55b7c1fc8de8b3faea55104ff3f641)
+++ kernel/arch/mips32/src/mm/frame.c	(revision d57c7c22ec10cecc3ee30ee28e44f7702e425a37)
@@ -44,5 +44,5 @@
 #endif
 #include <arch/arch.h>
-#include <print.h>
+#include <stdio.h>
 
 #define ZERO_PAGE_MASK    TLB_PAGE_MASK_256K
Index: kernel/arch/mips32/src/mm/tlb.c
===================================================================
--- kernel/arch/mips32/src/mm/tlb.c	(revision cfdeedc55a55b7c1fc8de8b3faea55104ff3f641)
+++ kernel/arch/mips32/src/mm/tlb.c	(revision d57c7c22ec10cecc3ee30ee28e44f7702e425a37)
@@ -42,5 +42,5 @@
 #include <arch.h>
 #include <synch/mutex.h>
-#include <print.h>
+#include <stdio.h>
 #include <log.h>
 #include <assert.h>