samsung_clocksource_read  315 drivers/clocksource/samsung_pwm_timer.c 	.read		= samsung_clocksource_read,
samsung_clocksource_read  330 drivers/clocksource/samsung_pwm_timer.c 	return samsung_clocksource_read(NULL);