samsung_time_start  202 drivers/clocksource/samsung_pwm_timer.c 	samsung_time_start(pwm.event_id, false);
samsung_time_start  217 drivers/clocksource/samsung_pwm_timer.c 	samsung_time_start(pwm.event_id, true);
samsung_time_start  304 drivers/clocksource/samsung_pwm_timer.c 	samsung_time_start(pwm.source_id, true);
samsung_time_start  346 drivers/clocksource/samsung_pwm_timer.c 	samsung_time_start(pwm.source_id, true);