Searched refs:mx31_get_ipg_clk (Results 1 – 1 of 1) sorted by relevance
51 static u32 mx31_get_ipg_clk(void) in mx31_get_ipg_clk() function77 printf("ipg clock : %dHz\n", mx31_get_ipg_clk()); in mx31_dump_clocks()92 return mx31_get_ipg_clk(); in mxc_get_clock()