Freescale FlexTimer Module driver

modulename: timer-fsl-ftm.ko

configname: CONFIG_FSL_FTM_TIMER

Linux Kernel Configuration
└─>Device Drivers
└─>Clock Source drivers
└─>Freescale FlexTimer Module driver
In linux kernel since version 3.16 (release Date: 2014-08-03)  
Support for Freescale FlexTimer Module (FTM) timer.

source code: