/lib/libc/include/any-linux-any/linux/counter/
../
microchip-tcb-capture.h