I just updated, I think from 1.41 to 1.43, and now getMillisecondCounterHiRes() isn’t high resolution any more.
It used to work fine (except for the fact that the pitch bend algorithm I was timing was too slow!), but now it returns values of 15, 16 or zero ms, so fractions of milliseconds don’t exist.
Slow though it may be, my algorithm doesn’t reach THAT high…
This is Win 32, where the notable change is the PCI drift bug fix in getHighResolutionTicks().