rdtsc cycle count bclk

[daniel02]

I'm overclocking my BCLK to 130MHz. How can I determine my CPU frequency and make sure that rdtsc is cycling at 130MHz?

reading like this is the correct approach?

tsc_hz = __readmsr(0xCE);

return ((tsc_hz >> & 0xff) * 130 * 1E6;