Searched refs:guest_deadline_tsc (Results 1 – 4 of 4) sorted by relevance
| /linux/arch/x86/kvm/vmx/ |
| H A D | x86_ops.h | 118 int vmx_set_hv_timer(struct kvm_vcpu *vcpu, u64 guest_deadline_tsc,
|
| H A D | main.c | 790 static int vt_set_hv_timer(struct kvm_vcpu *vcpu, u64 guest_deadline_tsc, in vt_set_hv_timer() argument
797 return vmx_set_hv_timer(vcpu, guest_deadline_tsc, expired); in vt_set_hv_timer()
|
| H A D | vmx.c | 8050 int vmx_set_hv_timer(struct kvm_vcpu *vcpu, u64 guest_deadline_tsc, in vmx_set_hv_timer() argument
8060 delta_tsc = max(guest_deadline_tsc, guest_tscl) - guest_tscl; in vmx_set_hv_timer()
|
| /linux/arch/x86/include/asm/ |
| H A D | kvm_host.h | 1880 int (*set_hv_timer)(struct kvm_vcpu *vcpu, u64 guest_deadline_tsc,
|