The AD/Instrumentation designed VME timing module for the Booster BPM upgrade is a timing signal generator and TCLK decoder. The BoosterStateMachine uses the module to receive Booster TCLK events and the DAQ modules use the output signals for triggers and clock.
The driver is maintained in the adinsthw project. A Linux kernel module called btimemod implements a device driver with the usual sysfs and char-device interfaces. A C++ library called libbtime provides a user-level API.
The hardware description is attached as a Word document.