Symbol: samsung_clocksource_read
drivers/clocksource/samsung_pwm_timer.c
313
.read = samsung_clocksource_read,
drivers/clocksource/samsung_pwm_timer.c
328
return samsung_clocksource_read(NULL);