Searched refs:vmx_write_tsc_offset (Results 1 – 3 of 3) sorted by relevance
114 void vmx_write_tsc_offset(struct kvm_vcpu *vcpu);
777 vmx_write_tsc_offset(vcpu); in vt_write_tsc_offset()
1896 void vmx_write_tsc_offset(struct kvm_vcpu *vcpu) in vmx_write_tsc_offset() function