Searched refs:user_value (Results 1 – 1 of 1) sorted by relevance
2675 static void kvm_synchronize_tsc(struct kvm_vcpu *vcpu, u64 *user_value) in kvm_synchronize_tsc() argument2677 u64 data = user_value ? *user_value : 0; in kvm_synchronize_tsc()2720 if (user_value) in kvm_synchronize_tsc()