cpu_set_curr_clock
void cpu_set_curr_clock(uint64_t); /* indicate the current CPU's freq */
cpu_set_curr_clock((uint64_t)CPU_ACPI_FREQ(req_pstate) * 1000000);
cpu_set_curr_clock(((uint64_t)CPU_ACPI_FREQ(req_pstate) * 1000000));
cpu_set_curr_clock(((uint64_t)pi->pi_clock * 1000000) / new_divisor);
cpu_set_curr_clock(((uint64_t)pi->pi_clock * 1000000) /
cpu_set_curr_clock(((uint64_t)pi->pi_clock * 1000000) /
cpu_set_curr_clock(((uint64_t)pi->pi_clock * 1000000) /