Microchip Timer Counter Capture driver

modulename: microchip-tcb-capture.ko

configname: CONFIG_MICROCHIP_TCB_CAPTURE

Linux Kernel Configuration
└─>Device Drivers
└─>Counter support
└─>Device Tree and Open Firmware support
└─>Microchip Timer Counter Capture driver
In linux kernel since version 5.1 (release Date: 2019-05-05)  
Select this option to enable the Microchip Timer Counter Block
capture driver.

To compile this driver as a module, choose M here: the
module will be called microchip-tcb-capture.

source code:
drivers/counter/microchip-tcb-capture.c