Man pages matching name tickit_ctltype in section 3:

tickit_ctltype.3.en

debian 11 / libtickit-dev