PIT_HZ
frequency = (PIT_HZ + cycles / 2) / cycles;
frequency = (PIT_HZ + cycles / 2) / cycles;
return ((SF * apic_ticks * PIT_HZ) / ((uint64_t)pit_ticks * NANOSEC));
timeval = (hrtime_t)ctr0 * (NANOSEC / PIT_HZ);
ulong_t clkticks = PIT_HZ / hz;
printf("#define\tNSEC_PER_COUNTER_TICK 0x%llx\n", NANOSEC / PIT_HZ);
processor_clks > (((uint64_t)-1) / PIT_HZ)) {
*freqp = pit_tsc_hz = ((uint64_t)PIT_HZ * processor_clks) / pit_counter;
counter = PIT_HZ / freq;