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);