Or, to put it more bluntly: a hypervisor that allows its VMs to be paused SHOULD NOT expose a monotonic time source to said VMs. (In the RFC meaning of &quot;SHOULD NOT&quot;.) Enabling monotonic time should disable the ability to pause&#x2F;migrate&#x2F;snapshot the VMs, and vice-versa.