fn tsc_sync_mitigations_inner( tsc_state: &TscState, num_vcpus: usize, rdtsc: fn() -> u64, ) -> TscSyncMitigations