samsung_time_stop  209 drivers/clocksource/samsung_pwm_timer.c 	samsung_time_stop(pwm.event_id);
samsung_time_stop  215 drivers/clocksource/samsung_pwm_timer.c 	samsung_time_stop(pwm.event_id);
samsung_time_stop  295 drivers/clocksource/samsung_pwm_timer.c 	samsung_time_stop(pwm.source_id);