Searched refs:ppc_40x_set_tb_clk (Results 1 – 1 of 1) sorted by relevance
1376 static void ppc_40x_set_tb_clk (void *opaque, uint32_t freq) in ppc_40x_set_tb_clk() function1413 return &ppc_40x_set_tb_clk; in ppc_40x_timers_init()