Home
last modified time | relevance | path

Searched refs:guest_deadline_tsc (Results 1 – 3 of 3) sorted by relevance

/linux/arch/x86/kvm/vmx/
H A Dx86_ops.h117 int vmx_set_hv_timer(struct kvm_vcpu *vcpu, u64 guest_deadline_tsc,
H A Dvmx.c8324 int vmx_set_hv_timer(struct kvm_vcpu *vcpu, u64 guest_deadline_tsc, in vmx_set_hv_timer() argument
8334 delta_tsc = max(guest_deadline_tsc, guest_tscl) - guest_tscl; in vmx_set_hv_timer()
/linux/arch/x86/include/asm/
H A Dkvm_host.h1950 int (*set_hv_timer)(struct kvm_vcpu *vcpu, u64 guest_deadline_tsc,