Couldn't find anything in the BIOS, think it's hidden. Though I ran bcdedit /set useplatformclock true and I'm getting 14.31818 MHz now. But the ratio took longer to stabilise at 1.000 (took 180 seconds), it was alternating between 0.9997 and 0.9999 a lot.
Not spotted anything bad yet, like ghosting mouse pointer or such. My DPC latency remains unchanged, averages at 60-80us
One can still set the option in Windows if HPET is not found from BIOS. However if one has ACHI then it's a surprise if HPET is missing. One can also check HPET from device manager under system devices if you find "high precision event timer" then your hardware supports it. If you don't have HPET but use bcdedit to use platformclock,, you probably are better than TSC which is reduced timer. Actually Win Vista was heavily pushed towards HPET but they went backwards in Win7 for some reason, one is the green agenda.
Im running it on a i7 email@example.comGhz (clocked in BIOS), and Asus P8Z68-V Pro mobo/NV 570GTX and enabling HPET & setting windows to solely use HPET via command prompt has fixed my micro-stuttering id see in BF3.
Result Cheers OP I owe ya a beer
Great! Good to hear. The best HPET result is that pushes that little extra by using accurate high frequency timer instead of TSC.
Couldn't find any option in the BIOS, but I did perform the HPET only tweak.
Is this good?
What hardware setup you have? Your setting of use platformclock sure is a lot better than TSC. Did you test any games? TSC is the same or lower than 1 core clock (TSC is locked to frequency that I don't right now remember), so combination and sync might or might not be better depending on hardware. HPET frequency can run a lot higher than TSC.
What (if any) benefit would I see if I enable this in OS only, the BIOS does not have any option for HPET. Is it possible it might be labeled something else besides HPET?
No not really, if you don't find HPET in BIOS then it's locked or completely unavailable. You can also check HPET from device manager under system devices if you find "high precision event timer" then your hardware supports it.
If you don't have HPET but use bcdedit to use platformclock it will result to LAPICs which is better than TSC or TSC+LAPICs.
One can only test and see. And especially test with games.
Also, always keep your drivers and BIOS up to date.(There might be APIC or LAPIC in bios, check these with platformclock enabled / disabled to find best performance.)