Synthetic timers provide a mechanism for generating an interrupt after some specified time in the future. The hypervisor supports both one-shot and periodic timers. A synthetic timer sends a message to a specified SynIC SINTx (synthetic interrupt source) when the synthetic timer expires.
The hypervisor guarantees that a timer expiration signal will never be delivered before the expiration time. However, the signal might arrive any time after the expiration time.
Build date: 11/16/2013