CONFIG_OMAP_DM_TIMER (not configurable)

modulename: timer-ti-dm.ko

configname: CONFIG_OMAP_DM_TIMER

Linux Kernel Configuration
└─>Device Drivers
└─>Clock Source drivers
└─>OMAP_DM_TIMER
In linux kernel since version 2.6.20 (release Date: 2007-02-04)  
source code:
drivers/clocksource/timer-ti-dm.c
selects
CONFIG_TIMER_OF