Man pages matching name comedi_get_timer in section 3:

comedi_get_timer.3.en	debian 10 / libcomedi-dev
comedi_get_timer.3.en	debian 11 / libcomedi-dev
comedi_get_timer.3.en	debian 12 / libcomedi-dev