struct vcpu *v = current;
if ( timeout == 0 )
+ {
stop_timer(&v->timer);
+ }
else
+ {
+ if ( unlikely(timeout < 0) ||
+ unlikely((uint32_t)((timeout - NOW()) >> 50) != 0) )
+ {
+ /*
+ * Linux workaround: occasionally we will see timeouts a long way
+ * in the future due to wrapping in Linux's jiffy time handling.
+ * We check for tiemouts wrapped negative, and for positive
+ * timeouts more than about 13 days in the future (2^50ns).
+ * The correct fix is to trigger an interrupt in a short while
+ * (since Linux in fact has pending work to do in this situation).
+ */
+ DPRINTK("Warning: huge timeout set by domain %d (vcpu %d):"
+ " %"PRIx64"\n",
+ v->domain->domain_id, v->vcpu_id, (uint64_t)timeout);
+ timeout = NOW() + MILLISECS(10);
+ }
+
set_timer(&v->timer, timeout);
+ }
return 0;
}