TIMER_DIVIDER     386 drivers/clocksource/timer-armada-370-xp.c 		timer_clk = clk_get_rate(clk) / TIMER_DIVIDER;
TIMER_DIVIDER     410 drivers/clocksource/timer-armada-370-xp.c 	timer_clk = clk_get_rate(clk) / TIMER_DIVIDER;