kvm_write_guest_time  705 arch/x86/kvm/x86.c 		kvm_write_guest_time(vcpu);
kvm_write_guest_time  974 arch/x86/kvm/x86.c 	kvm_write_guest_time(vcpu);