Man pages matching name tickit_termctl_type in section 3:

tickit_termctl_type.3.en

debian 12 / libtickit-dev