Man pages matching name tickit_timer_after_tv in section 3:

tickit_timer_after_tv.3.en

debian 10 / libtickit-dev