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