The text c1c9b65ff306, as Debian 7 (Wheezy) shipped it.
timer information (deprecated)
comedi_get_timer(3) on Linux now
