kvm_mips_restore_hrtimer 1074 arch/mips/include/asm/kvm_host.h int kvm_mips_restore_hrtimer(struct kvm_vcpu *vcpu, ktime_t before, kvm_mips_restore_hrtimer 533 arch/mips/kvm/vz.c kvm_mips_restore_hrtimer(vcpu, before_time, end_count, -0x10000);