Clocksource using i.MX TPM

modulename: timer-imx-tpm.ko

configname: CONFIG_CLKSRC_IMX_TPM

Linux Kernel Configuration
└─>Device Drivers
└─>Clock Source drivers
└─>Clocksource using i.MX TPM
In linux kernel since version 4.2 (release Date: 2015-08-30)  
Enable this option to use IMX Timer/PWM Module (TPM) timer as
clocksource.

source code: