Man pages matching name tickit_ctl_type in section 3:

tickit_ctl_type.3.en

debian 12 / libtickit-dev