samsung_timer_set_prescale  223 drivers/clocksource/samsung_pwm_timer.c 	samsung_timer_set_prescale(pwm.event_id, pwm.tscaler_div);
samsung_timer_set_prescale  274 drivers/clocksource/samsung_pwm_timer.c 	samsung_timer_set_prescale(pwm.event_id, pwm.tscaler_div);
samsung_timer_set_prescale  300 drivers/clocksource/samsung_pwm_timer.c 	samsung_timer_set_prescale(pwm.source_id, pwm.tscaler_div);
samsung_timer_set_prescale  340 drivers/clocksource/samsung_pwm_timer.c 	samsung_timer_set_prescale(pwm.source_id, pwm.tscaler_div);