kvm_mips_dequeue_timer_int_cb   46 arch/mips/kvm/interrupt.h void kvm_mips_dequeue_timer_int_cb(struct kvm_vcpu *vcpu);
kvm_mips_dequeue_timer_int_cb 1296 arch/mips/kvm/trap_emul.c 	.dequeue_timer_int = kvm_mips_dequeue_timer_int_cb,