Symbol: samsung_time_start
drivers/clocksource/samsung_pwm_timer.c
201
samsung_time_start(pwm.event_id, false);
drivers/clocksource/samsung_pwm_timer.c
216
samsung_time_start(pwm.event_id, true);
drivers/clocksource/samsung_pwm_timer.c
302
samsung_time_start(pwm.source_id, true);
drivers/clocksource/samsung_pwm_timer.c
344
samsung_time_start(pwm.source_id, true);