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