kvm_mips_pending_timer   43 arch/mips/kvm/interrupt.h int kvm_mips_pending_timer(struct kvm_vcpu *vcpu);
kvm_mips_pending_timer 1146 arch/mips/kvm/mips.c 	return kvm_mips_pending_timer(vcpu) ||