measuring cpu frequency

[Ivan Fernandez <ivan.fernandez@vanderbilt.edu>]

OK, I've been trying to set up cpu frequency scaling in my Dell Inspiron
5150 (3.06GHz Mobile Pentium 4, debian testing and 2.6.5 kernel).  I
seem to have everything in place, cpu frequency scaling compiled into
the kernel, together with performance and powersave governors, userspace
governor as default, frequency tables helpers too, and the p4-clockmod
module as driver.  All the relevant files show up under
/sys/devices/system/cpu/cpu0/cpufreq/ and the userspace daemon I use to
switch frequencies (powernowd) loads and apparently changes frequencies
alright.

My problem is that I can notice no cooling at all, CPU temperature is
around 70C most of the time, just as the same as before enabling the
whole cpufreq thing.  I don't know how to measure real frequency:
the numbers that show on /proc/cpuinfo match with
/sys/devices/system/cpu/cpu0/cpufreq/scaling_setspeed, but x86info -mhz
(which reads from /dev/cpu/0/cpuid, I believe, shows a different clock
speed (higher, either around 1500 MHz or, most of the time, the full
3.06 GHz).  Which one should I trust?  Is there any other way to measure
cpu speed accurately?

Thanks

-- 
Ivan Fernández
ivan.fernandez@vanderbilt.edu