sp804_get_clock_rate   84 drivers/clocksource/timer-sp804.c 	rate = sp804_get_clock_rate(clk);
sp804_get_clock_rate  191 drivers/clocksource/timer-sp804.c 	rate = sp804_get_clock_rate(clk);