#define KVM_REG_MIPS_CP0_WIRED         MIPS_CP0_32(6, 0)
 #define KVM_REG_MIPS_CP0_HWRENA                MIPS_CP0_32(7, 0)
 #define KVM_REG_MIPS_CP0_BADVADDR      MIPS_CP0_64(8, 0)
+#define KVM_REG_MIPS_CP0_BADINSTR      MIPS_CP0_32(8, 1)
+#define KVM_REG_MIPS_CP0_BADINSTRP     MIPS_CP0_32(8, 2)
 #define KVM_REG_MIPS_CP0_COUNT         MIPS_CP0_32(9, 0)
 #define KVM_REG_MIPS_CP0_ENTRYHI       MIPS_CP0_64(10, 0)
 #define KVM_REG_MIPS_CP0_COMPARE       MIPS_CP0_32(11, 0)
 __BUILD_KVM_RW_HW(wired,          32, MIPS_CP0_TLB_WIRED,    0)
 __BUILD_KVM_RW_HW(hwrena,         32, MIPS_CP0_HWRENA,       0)
 __BUILD_KVM_RW_HW(badvaddr,       l,  MIPS_CP0_BAD_VADDR,    0)
+__BUILD_KVM_RW_HW(badinstr,       32, MIPS_CP0_BAD_VADDR,    1)
+__BUILD_KVM_RW_HW(badinstrp,      32, MIPS_CP0_BAD_VADDR,    2)
 __BUILD_KVM_RW_SW(count,          32, MIPS_CP0_COUNT,        0)
 __BUILD_KVM_RW_HW(entryhi,        l,  MIPS_CP0_TLB_HI,       0)
 __BUILD_KVM_RW_HW(compare,        32, MIPS_CP0_COMPARE,      0)
 
        ret = ARRAY_SIZE(kvm_vz_get_one_regs);
        if (cpu_guest_has_userlocal)
                ++ret;
+       if (cpu_guest_has_badinstr)
+               ++ret;
+       if (cpu_guest_has_badinstrp)
+               ++ret;
        ret += __arch_hweight8(cpu_data[0].guest.kscratch_mask);
 
        return ret;
                        return -EFAULT;
                ++indices;
        }
+       if (cpu_guest_has_badinstr) {
+               index = KVM_REG_MIPS_CP0_BADINSTR;
+               if (copy_to_user(indices, &index, sizeof(index)))
+                       return -EFAULT;
+               ++indices;
+       }
+       if (cpu_guest_has_badinstrp) {
+               index = KVM_REG_MIPS_CP0_BADINSTRP;
+               if (copy_to_user(indices, &index, sizeof(index)))
+                       return -EFAULT;
+               ++indices;
+       }
        for (i = 0; i < 6; ++i) {
                if (!cpu_guest_has_kscr(i + 2))
                        continue;
        case KVM_REG_MIPS_CP0_BADVADDR:
                *v = (long)read_gc0_badvaddr();
                break;
+       case KVM_REG_MIPS_CP0_BADINSTR:
+               if (!cpu_guest_has_badinstr)
+                       return -EINVAL;
+               *v = read_gc0_badinstr();
+               break;
+       case KVM_REG_MIPS_CP0_BADINSTRP:
+               if (!cpu_guest_has_badinstrp)
+                       return -EINVAL;
+               *v = read_gc0_badinstrp();
+               break;
        case KVM_REG_MIPS_CP0_COUNT:
                *v = kvm_mips_read_count(vcpu);
                break;
        case KVM_REG_MIPS_CP0_BADVADDR:
                write_gc0_badvaddr(v);
                break;
+       case KVM_REG_MIPS_CP0_BADINSTR:
+               if (!cpu_guest_has_badinstr)
+                       return -EINVAL;
+               write_gc0_badinstr(v);
+               break;
+       case KVM_REG_MIPS_CP0_BADINSTRP:
+               if (!cpu_guest_has_badinstrp)
+                       return -EINVAL;
+               write_gc0_badinstrp(v);
+               break;
        case KVM_REG_MIPS_CP0_COUNT:
                kvm_mips_write_count(vcpu, v);
                break;
                        kvm_restore_gc0_kscratch6(cop0);
        }
 
+       if (cpu_guest_has_badinstr)
+               kvm_restore_gc0_badinstr(cop0);
+       if (cpu_guest_has_badinstrp)
+               kvm_restore_gc0_badinstrp(cop0);
+
        /* restore Root.GuestCtl2 from unused Guest guestctl2 register */
        if (cpu_has_guestctl2)
                write_c0_guestctl2(
                        kvm_save_gc0_kscratch6(cop0);
        }
 
+       if (cpu_guest_has_badinstr)
+               kvm_save_gc0_badinstr(cop0);
+       if (cpu_guest_has_badinstrp)
+               kvm_save_gc0_badinstrp(cop0);
+
        kvm_vz_save_timer(vcpu);
 
        /* save Root.GuestCtl2 in unused Guest guestctl2 register */