CONFIG_CLKSRC_SAMSUNG_PWM (not configurable)

modulename: samsung_pwm_timer.ko

configname: CONFIG_CLKSRC_SAMSUNG_PWM

Linux Kernel Configuration
└─>Device Drivers
└─>Clock Source drivers
└─>CLKSRC_SAMSUNG_PWM
In linux kernel since version 3.1 (release Date: 2011-10-24)  
This is a new clocksource driver for the PWM timer found in
Samsung S3C, S5P and Exynos SoCs, replacing an earlier driver
for all devicetree enabled platforms. This driver will be
needed only on systems that do not have the Exynos MCT available.

source code:
depends
 or CONFIG_GENERIC_CLOCKEVENTS |
| CONFIG_HAS_IOMEM