https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=256781
--- Comment #21 from Roger Pau Monné <roy...@freebsd.org> --- (In reply to Colin Percival from comment #20) That sounds like a bug in their implementation? As the hypervisor should keep the TSC of the virtual CPU synchronised across physical CPU movements. Have you tried to report to AWS? -- You are receiving this mail because: You are the assignee for the bug.