CONFIG_OMAP_DM_SYSTIMER (not configurable)
modulename: timer-ti-dm-systimer.ko
configname: CONFIG_OMAP_DM_SYSTIMER
Linux Kernel Configuration
└─>Device Drivers
└─>Clock Source drivers
└─>OMAP_DM_SYSTIMER