Searched refs:old_clk (Results 1 – 1 of 1) sorted by relevance
3016 uint64_t old_clk; in cpu_set_curr_clock() local3018 old_clk = CPU->cpu_curr_clock; in cpu_set_curr_clock()3025 uint64_t, old_clk, uint64_t, new_clk); in cpu_set_curr_clock()