diff --git a/sys/dev/rmi/xlr/rge.c b/sys/dev/rmi/xlr/rge.c
index ef2288e852c..38f5fdde681 100644
--- a/sys/dev/rmi/xlr/rge.c
+++ b/sys/dev/rmi/xlr/rge.c
@@ -73,7 +73,7 @@
 #include <machine/cpu.h>
 #include <machine/mips_opcode.h>
 #include <machine/asm.h>
-#include <machine/mips-exts.h>
+#include <mips/rmi/rmi_mips_exts.h>
 #include <machine/cpuregs.h>
 
 #include <machine/param.h>