Index: kernel/arch/mips64/src/mm/frame.c
===================================================================
--- kernel/arch/mips64/src/mm/frame.c	(revision 4dee0cb265758a5ee4132e646c801b976b22f908)
+++ kernel/arch/mips64/src/mm/frame.c	(revision 69b264a9735df226a05998fb3c1faab281862562)
@@ -40,5 +40,7 @@
 #include <mm/asid.h>
 #include <config.h>
+#ifdef MACHINE_msim
 #include <arch/drivers/msim.h>
+#endif
 #include <print.h>