kvm_read_c0_guest_badvaddr 2652 arch/mips/kvm/emulate.c 			  kvm_read_c0_guest_badvaddr(cop0));
kvm_read_c0_guest_badvaddr  327 arch/mips/kvm/trace.h 			__entry->badvaddr = kvm_read_c0_guest_badvaddr(vcpu->arch.cop0);
kvm_read_c0_guest_badvaddr  797 arch/mips/kvm/trap_emul.c 		*v = (long)kvm_read_c0_guest_badvaddr(cop0);