/* Activate the NMI watchdog via the local APIC.  */
static unsigned int adjust_for_32bit_ctr(unsigned int hz)
/* Activate the NMI watchdog via the local APIC.  */
static unsigned int adjust_for_32bit_ctr(unsigned int hz)
{
	u64 counter_val;
	unsigned int retval = hz;
	counter_val = (u64)cpu_khz * 1000;
	do_div(counter_val, retval);
	if (counter_val > 0x7fffffffULL) {
		u64 count = (u64)cpu_khz * 1000;
		do_div(count, 0x7fffffffUL);
		retval = count + 1;
	}
	return retval;
}