Files
openpilot/panda/board/drivers/timers.h