linux-kernelorg-stable/include/uapi/linux/counter
..
microchip-tcb-capture.h