Also see http://lkml.org/lkml/2007/5/6/29
The TSC is supposed to tick at the CPU rate (unless it's a constant_tsc,
see /proc/cpuinfo flags:), so on frequency change, this ought to happen.
The kernel will automatically switch to something else. There's acpi_pm
and, IIRC, pit.
Jan
--
-