CONFIG_TIMER_OF (not configurable)

modulename: timer-of.ko

configname: CONFIG_TIMER_OF

Linux Kernel Configuration
└─>Device Drivers
└─>Clock Source drivers
└─>TIMER_OF
In linux kernel since version 3.10 (release Date: 2013-06-30)  
source code:
drivers/clocksource/timer-of.c

depends
CONFIG_GENERIC_CLOCKEVENTS
NOT CONFIG_ARCH_USES_GETTIMEOFFSET