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
In linux kernel since version 4.14.326 (release Date: 2023-09-23)  
source code:
drivers/clocksource/timer-ti-dm-systimer.c
selects
CONFIG_TIMER_OF