samsung_time_setup  201 drivers/clocksource/samsung_pwm_timer.c 	samsung_time_setup(pwm.event_id, cycles);
samsung_time_setup  216 drivers/clocksource/samsung_pwm_timer.c 	samsung_time_setup(pwm.event_id, pwm.clock_count_per_tick - 1);
samsung_time_setup  303 drivers/clocksource/samsung_pwm_timer.c 	samsung_time_setup(pwm.source_id, pwm.tcnt_max);
samsung_time_setup  345 drivers/clocksource/samsung_pwm_timer.c 	samsung_time_setup(pwm.source_id, pwm.tcnt_max);