before_time 497 arch/mips/kvm/vz.c ktime_t before_time; before_time 502 arch/mips/kvm/vz.c before_time = ktime_get(); before_time 533 arch/mips/kvm/vz.c kvm_mips_restore_hrtimer(vcpu, before_time, end_count, -0x10000);