host_cp0_badinstrp  331 arch/mips/include/asm/kvm_host.h 	u32 host_cp0_badinstrp;
host_cp0_badinstrp  297 arch/mips/kvm/emulate.c 		*out = vcpu->arch.host_cp0_badinstrp;
host_cp0_badinstrp  659 arch/mips/kvm/entry.c 					   host_cp0_badinstrp), K1);