kvm_mips_restore_hrtimer
int kvm_mips_restore_hrtimer(struct kvm_vcpu *vcpu, ktime_t before,
kvm_mips_restore_hrtimer(vcpu, before_time, end_count, -0x10000);