Searched refs:host_tsc (Results 1 – 4 of 4) sorted by relevance
| /linux-4.4.14/arch/x86/include/asm/ |
| D | kvm_host.h | 859 u64 (*read_l1_tsc)(struct kvm_vcpu *vcpu, u64 host_tsc);
1229 u64 kvm_read_l1_tsc(struct kvm_vcpu *vcpu, u64 host_tsc);
|
| /linux-4.4.14/arch/x86/kvm/ |
| D | x86.c | 1404 u64 kvm_read_l1_tsc(struct kvm_vcpu *vcpu, u64 host_tsc) in kvm_read_l1_tsc() argument
1406 return kvm_x86_ops->read_l1_tsc(vcpu, kvm_scale_tsc(vcpu, host_tsc)); in kvm_read_l1_tsc()
1714 u64 tsc_timestamp, host_tsc; in kvm_guest_time_update() local
1720 host_tsc = 0; in kvm_guest_time_update()
1729 host_tsc = ka->master_cycle_now; in kvm_guest_time_update()
1743 host_tsc = rdtsc(); in kvm_guest_time_update()
1747 tsc_timestamp = kvm_read_l1_tsc(v, host_tsc); in kvm_guest_time_update()
|
| D | vmx.c | 2400 u64 host_tsc, tsc_offset; in guest_read_tsc() local
2402 host_tsc = rdtsc(); in guest_read_tsc()
2404 return kvm_scale_tsc(vcpu, host_tsc) + tsc_offset; in guest_read_tsc()
2411 static u64 vmx_read_l1_tsc(struct kvm_vcpu *vcpu, u64 host_tsc) in vmx_read_l1_tsc() argument
2418 return host_tsc + tsc_offset; in vmx_read_l1_tsc()
|
| D | svm.c | 2984 static u64 svm_read_l1_tsc(struct kvm_vcpu *vcpu, u64 host_tsc) in svm_read_l1_tsc() argument
2987 return vmcb->control.tsc_offset + host_tsc; in svm_read_l1_tsc()
|