Searched refs:kvm_write_tsc (Results 1 – 4 of 4) sorted by relevance
115 void kvm_write_tsc(struct kvm_vcpu *vcpu, u64 data);
1251 kvm_write_tsc(&svm->vcpu, 0); in svm_create_vcpu()3147 kvm_write_tsc(vcpu, data); in svm_set_msr()
1023 void kvm_write_tsc(struct kvm_vcpu *vcpu, u64 data) in kvm_write_tsc() function1110 EXPORT_SYMBOL_GPL(kvm_write_tsc);
2190 kvm_write_tsc(vcpu, data); in vmx_set_msr()3807 kvm_write_tsc(&vmx->vcpu, 0); in vmx_vcpu_setup()