Interesting... Your benchmark is valid (the checksum is good). But the CPU frequency is wrong... And by the very impressive timing, I can tell it really IS at 4GHz.

I swear there's something wrong with the rdtsc instruction... Because it doesn't detect turbo boost from 3.2 to 3.4 on my friend's computer. (it reports it at 3.2 even with turbo kicked on)

Maybe I'm not using it right.

Problem is: I actually don't know how to fix it. Anyone, by any random chance, know how to do this properly?