MIPS_CP0_BAD_VADDR  701 arch/mips/include/asm/kvm_host.h __BUILD_KVM_RW_HW(badvaddr,       l,  MIPS_CP0_BAD_VADDR,    0)
MIPS_CP0_BAD_VADDR  702 arch/mips/include/asm/kvm_host.h __BUILD_KVM_RW_HW(badinstr,       32, MIPS_CP0_BAD_VADDR,    1)
MIPS_CP0_BAD_VADDR  703 arch/mips/include/asm/kvm_host.h __BUILD_KVM_RW_HW(badinstrp,      32, MIPS_CP0_BAD_VADDR,    2)