But googling suggests that if the CPU has the invariant_tsc flag then it’s not a problem, as foobar mentions.