Symbol: to_pxa_clk