#include <asm/fpu.h>
 #include <asm/fpu_emulator.h>
 #include <asm/idle.h>
+#include <asm/isa-rev.h>
 #include <asm/mips-cps.h>
 #include <asm/mips-r2-to-r6-emul.h>
 #include <asm/mipsregs.h>
 #ifdef CONFIG_CPU_HAS_SMARTMIPS
        printk("Acx    : %0*lx\n", field, regs->acx);
 #endif
-       printk("Hi    : %0*lx\n", field, regs->hi);
-       printk("Lo    : %0*lx\n", field, regs->lo);
+       if (MIPS_ISA_REV < 6) {
+               printk("Hi    : %0*lx\n", field, regs->hi);
+               printk("Lo    : %0*lx\n", field, regs->lo);
+       }
 
        /*
         * Saved cp0 registers