Clocksource using i.MX GPT

modulename: timer-imx-gpt.ko

configname: CONFIG_CLKSRC_IMX_GPT

Linux Kernel Configuration
└─>Device Drivers
└─>Clock Source drivers
└─>Clocksource using i.MX GPT
In linux kernel since version 3.10 (release Date: 2013-06-30)  
source code:

depends
CONFIG_ARM
CONFIG_CLKDEV_LOOKUP
NOT CONFIG_ARCH_USES_GETTIMEOFFSET