The text a5594d5868f9, as Debian 10 (Buster) shipped it.
timer information (deprecated)
comedi_get_timer(3) on Linux now
