On 18/10/2016 01:58, Marcelo Tosatti wrote: > > We should also blacklist the TSC deadline timer when invtsc is not > > available. > > Actually, a nicer fix would be to check the different > frequencies and scale the deadline relative to the difference.
You cannot know what exactly the guest was thinking when it set the TSC deadline. Perhaps it wanted an interrupt when the TSC was exactly 9876543210. Paolo