host_cp0_badinstr  330 arch/mips/include/asm/kvm_host.h 	u32 host_cp0_badinstr;
host_cp0_badinstr  276 arch/mips/kvm/emulate.c 		*out = vcpu->arch.host_cp0_badinstr;
host_cp0_badinstr  653 arch/mips/kvm/entry.c 					   host_cp0_badinstr), K1);