x86/kvm/xen.c

120 		vcpu->arch.xen.timer_expires = 0;
142 		vcpu->arch.xen.timer_expires = 0;
296 	 * Avoid races with the old timer firing. Checking timer_expires
300 	if (vcpu->arch.xen.timer_expires)
304 	vcpu->arch.xen.timer_expires = guest_abs;
317 	vcpu->arch.xen.timer_expires = 0;
1235 		 * Purely as an optimisation, if the timer_expires field is
1239 		if (vcpu->arch.xen.timer_expires) {
1246 		data->u.timer.expires_ns = vcpu->arch.xen.timer_expires;
1256 		if (vcpu->arch.xen.timer_expires)