/* Returns the current setting of the frequency multiplier. Core clock speed is frequency of the Front-Side Bus multiplied with this value.  */
static int powernow_k6_get_cpu_multiplier(void)
/* Returns the current setting of the frequency multiplier. Core clock speed is frequency of the Front-Side Bus multiplied with this value.  */
static int powernow_k6_get_cpu_multiplier(void)
{
	u64 invalue = 0;
	u32 msrval;
	msrval = POWERNOW_IOPORT + 0x1;
	wrmsr(MSR_K6_EPMR, msrval, 0);
	invalue = inl(POWERNOW_IOPORT + 0x8);
	msrval = POWERNOW_IOPORT + 0x0;
	wrmsr(MSR_K6_EPMR, msrval, 0);
	return clock_ratio[(invalue >> 5)&7].index;
}