Symbol: to_rpmi_clk