guest_deadline_tsc 1188 arch/x86/include/asm/kvm_host.h 	int (*set_hv_timer)(struct kvm_vcpu *vcpu, u64 guest_deadline_tsc,
guest_deadline_tsc 7201 arch/x86/kvm/vmx/vmx.c static int vmx_set_hv_timer(struct kvm_vcpu *vcpu, u64 guest_deadline_tsc,
guest_deadline_tsc 7215 arch/x86/kvm/vmx/vmx.c 	delta_tsc = max(guest_deadline_tsc, guest_tscl) - guest_tscl;