I trust our measuring code. Most likely the laptop has speedstep so is
running at 250Mhz to save power. If you've got a currentish -ac kernel
you can load the speedstep cpufreq support and flip the CPU between fast
and slow mode as you want. In some cases APM will also do the work for
you
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/