samsung_timer_set_divisor  224 drivers/clocksource/samsung_pwm_timer.c 	samsung_timer_set_divisor(pwm.event_id, pwm.tdiv);
samsung_timer_set_divisor  275 drivers/clocksource/samsung_pwm_timer.c 	samsung_timer_set_divisor(pwm.event_id, pwm.tdiv);
samsung_timer_set_divisor  301 drivers/clocksource/samsung_pwm_timer.c 	samsung_timer_set_divisor(pwm.source_id, pwm.tdiv);
samsung_timer_set_divisor  341 drivers/clocksource/samsung_pwm_timer.c 	samsung_timer_set_divisor(pwm.source_id, pwm.tdiv);